diff options
Diffstat (limited to 'static')
| -rw-r--r-- | static/style.css | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/static/style.css b/static/style.css index 7fa51f0c..0c10cab9 100644 --- a/static/style.css +++ b/static/style.css @@ -198,4 +198,21 @@ table.table-bordered { tr.thick-bottom-border { border-bottom: 3px solid rgb(229, 229, 229) !important; +} + +/* Fira Code stuff */ + +@font-face { + font-family: 'Fira Code'; + + 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/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; }
\ No newline at end of file |