Use DejaVu Sans Mono for the page titles

Rather than the generic "sans-serif"

1 files changed, 16 insertions, 1 deletions

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;