From cfa960d860fa30c7e2bb63cdf1c32e4f200b98ae Mon Sep 17 00:00:00 2001 From: Adam Spragg Date: Mon, 18 Jun 2018 14:42:26 +0100 Subject: Use DejaVu Sans Mono for the page titles Rather than the generic "sans-serif" --- html/style/DejaVuSansMono.ttf | 1 + html/style/main.css | 17 ++++++++++++++++- 2 files changed, 17 insertions(+), 1 deletion(-) create mode 120000 html/style/DejaVuSansMono.ttf (limited to 'html/style') 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; -- cgit v1.2.1