diff options
Diffstat (limited to 'extras/html/style.css')
| -rw-r--r-- | extras/html/style.css | 25 |
1 files changed, 23 insertions, 2 deletions
diff --git a/extras/html/style.css b/extras/html/style.css index fb970a9..86eb404 100644 --- a/extras/html/style.css +++ b/extras/html/style.css @@ -1,5 +1,25 @@ +@font-face { + font-family: 'text'; + src: url("./text.ttf") format("truetype"); +} + +@font-face { + font-family: 'code'; + src: url("./code.ttf") format("truetype"); +} + +@font-face { + font-family: 'handnotes'; + src: url("./handnotes.ttf") format("truetype"); +} + +@font-face { + font-family: 'typewriter'; + src: url("./typewriter.ttf") format("truetype"); +} + body { - font-family: monospace; + font-family: text; width: 99%; max-width: 1024px; padding: 0 20px; @@ -67,7 +87,7 @@ img { } pre { - font-family: monospace; + font-family: code; padding: 0; overflow-x: auto; scrollbar-width: none; @@ -81,6 +101,7 @@ pre { } span.inlinecode { + font-family: code; border: 1px solid #000000; padding: 1px; color: grey; |
