From 115effa93a8dda4c890088cc97187ace8562f727 Mon Sep 17 00:00:00 2001 From: Glenwing Date: Thu, 17 Aug 2017 23:31:30 -0700 Subject: [PATCH] Backup fonts added --- diu.html | 3 +-- docs.html | 2 +- index.html | 2 +- 3 files changed, 3 insertions(+), 4 deletions(-) diff --git a/diu.html b/diu.html index 68a9a35..38aa36b 100644 --- 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; diff --git a/docs.html b/docs.html index 09698cc..a8f25b9 100644 --- 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; diff --git a/index.html b/index.html index e13d176..e55aea8 100644 --- a/index.html +++ b/index.html @@ -11,7 +11,7 @@ } body { - font-family:Consolas; + font-family:Consolas, Inconsolata, "Lucida Console", monospace; font-size:15px; }