Backup fonts added

7 years ago · 115effa93a
parent 594c90f7dc
commit 115effa93a
3 changed files with 3 additions and 4 deletions
--- a/diu.html
+++ b/diu.html
@ -62,7 +62,7 @@
    }

    body {
-        font-family:Consolas;
+        font-family:Consolas, Inconsolata, "Lucida Console", monospace;
        font-size:15px;
    }

@ -84,7 +84,6 @@

    div.main {
        border:0px solid transparent;
-        font-family:Consolas;
        width:512px;
        padding-bottom:48px;
        margin-left:auto;
--- a/docs.html
+++ b/docs.html
@ -11,7 +11,7 @@
    }

    body {
-        font-family:Consolas;
+        font-family:Consolas, Inconsolata, "Lucida Console", monospace;
        font-size:15px;
        min-height:100%;
        height:auto;
--- a/index.html
+++ b/index.html
@ -11,7 +11,7 @@
    }

    body {
-        font-family:Consolas;
+        font-family:Consolas, Inconsolata, "Lucida Console", monospace;
        font-size:15px;
    }