From d65e35caef5683182c23f786441d30f0ddee5aa1 Mon Sep 17 00:00:00 2001
From: Paul Buetow <paul@buetow.org>
Date: Sun, 26 Mar 2023 15:56:11 +0300
Subject: use hack font by default

---
 extras/html/style.css | 25 +++++++++++++++++++++++--
 1 file changed, 23 insertions(+), 2 deletions(-)

(limited to 'extras/html')

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;
-- 
cgit v1.2.3