diff options
Diffstat (limited to 'website')
| -rw-r--r-- | website/style.css | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/website/style.css b/website/style.css index 5d8415c..bcd4136 100644 --- a/website/style.css +++ b/website/style.css @@ -5,6 +5,20 @@ font-style: normal; } +@font-face { + font-family: 'Fira Code'; + src: url('/fonts/FiraCode-Regular.woff2') format('woff2'); + font-weight: normal; + font-style: normal; +} + +@font-face { + font-family: 'Fira Code'; + src: url('/fonts/FiraCode-SemiBold.woff2') format('woff2'); + font-weight: 600; + font-style: normal; +} + body { margin: 40px auto; max-width: 900px; @@ -14,13 +28,19 @@ body { padding: 0 10px; } +pre, code, samp { + font-family: 'Fira Code'; +} + pre { background-color: #f0f0f0; padding: 1em; + font-size: 0.9em; } code, samp { font-size: 0.8em; + font-weight: 600; } /* Make the SVG badges clickable. */ |