diff options
author | 2018-05-21 12:46:03 +0100 | |
---|---|---|
committer | 2018-05-21 12:46:03 +0100 | |
commit | 3541eb8cbd7462088a0536d4f793598196c1eb61 (patch) | |
tree | d138ac8c2c380ffd39620786151a5143c0819821 /static/style.css | |
parent | [Jams] Fix up textarea formatting (diff) |
UIKit is pushy.
Diffstat (limited to 'static/style.css')
-rw-r--r-- | static/style.css | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/static/style.css b/static/style.css index 0c10cab9..99945624 100644 --- a/static/style.css +++ b/static/style.css @@ -207,12 +207,12 @@ tr.thick-bottom-border { src: url('https://unpkg.com/firacode/distr/eot/FiraCode-Regular.eot'); src: url('https://unpkg.com/firacode/distr/eot/FiraCode-Regular.eot?#iefix') format('embedded-opentype'), - url('https://unpkg.com/firacode/distr/woff/FiraCode-Regular.woff2') format('woff2'), + url('https://unpkg.com/firacode/distr/woff2/FiraCode-Regular.woff2') format('woff2'), url('https://unpkg.com/firacode/distr/woff/FiraCode-Regular.woff') format('woff'), url('https://unpkg.com/firacode/distr/ttf/FiraCode-Regular.ttf') format('truetype'); } .fira-code { font-family: 'Fira Code', "monospace", Fallback; - line-height: 1.0; + line-height: 1.3 !important; }
\ No newline at end of file |