diff options
Diffstat (limited to 'html/style')
| l--------- | html/style/DejaVuSansMono.ttf | 1 | ||||
| -rw-r--r-- | html/style/main.css | 17 |
2 files changed, 17 insertions, 1 deletions
diff --git a/html/style/DejaVuSansMono.ttf b/html/style/DejaVuSansMono.ttf new file mode 120000 index 0000000..7652b1c --- /dev/null +++ b/html/style/DejaVuSansMono.ttf @@ -0,0 +1 @@ +/usr/share/fonts/truetype/dejavu/DejaVuSansMono.ttf
\ No newline at end of file diff --git a/html/style/main.css b/html/style/main.css index 7704395..776a122 100644 --- a/html/style/main.css +++ b/html/style/main.css @@ -1,3 +1,18 @@ + +@font-face { + /* + * Define "DejaVuSansMono" font face to use local version if the user already has it, or provide the .ttf if + * they don't. + * + * Source tarballs and associated files for the DejaVu font available from https://spragg-ssl.co.uk/src + * + * More information available from https://spragg-ssl.co.uk/about + */ + font-family: "DejaVuSansMono"; + src: local("DejaVu Sans Mono"), + url("/style/DejaVuSansMono.ttf") format("truetype"); +} + html { background-color: #f0fff0; background-image: url('/style/grid.png'); @@ -24,7 +39,7 @@ body > header { } h1 { - font-family: monospace; + font-family: "DejaVuSansMono", monospace; /*font-variant: small-caps;*/ text-align: center; text-shadow: 0 0 0.2em #00c000; |