Style: Use JetBrains Mono webfont

This commit is contained in:
networkException 2022-02-04 18:40:08 +01:00
parent e387993879
commit ade90eb36b
Signed by: networkException
GPG key ID: E3877443AE684391

View file

@ -1,7 +1,14 @@
@font-face {
font-family: JetBrains Mono;
src: url('/font/jetbrains-mono/Regular.woff2') format('woff');
}
body {
background: #292D3E;
font-family: monospace;
font-family: JetBrains Mono;
font-size: 1.2rem;
}
pre {
@ -18,7 +25,6 @@ a {
body {
color: white;
font-size: 1vmax;
}
#inspector {