Use gubblebum blocky font

1 files changed, 6 insertions, 1 deletions

diff --git a/html/dochead.html b/html/dochead.html
index 2130c8441..a09d62f64 100644
--- a/html/dochead.html
+++ b/html/dochead.html
@@ -154,7 +154,7 @@ h1 {
   background:#fff;
 }
 h1 a, h1 a:visited {
-  font-family:GubbleBum, monospace;
+  font-family:GubbleBum, gubblefont, monospace;
   font-size:60px;
   color:#900;
   text-shadow:#00f 1px 1px 1px;
@@ -317,6 +317,11 @@ input.submit, input#submit, input.button, button, input[type=submit] {
   display:block;
 }
 
+@font-face {
+  font-family:gubblefont;
+  src: url(http://static.izs.me/fonts/GubbleBum-Blocky.ttf) format("truetype");
+}
+
 @media print {
     a[href] {
         color:inherit;