From 6973f0cd200f2ec6cd28fd1a324699087b8b584d Mon Sep 17 00:00:00 2001
From: Tom Willemse
Date: Mon, 25 Nov 2013 01:59:12 +0100
Subject: Use a few more fonts

---
 org.css | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/org.css b/org.css
index a8c200f..fe2db16 100644
--- a/org.css
+++ b/org.css
@@ -8,7 +8,7 @@ a:hover {
 
 body {
     border: 0;
-    font-family: "PT Sans", sans-serif;
+    font-family: "PT Sans", "Liberation Sans", "DejaVu Sans", "Tahoma", "Verdana", "Arial", sans-serif;
     margin: 0;
     padding: 0;
     line-height: 160%;
@@ -41,7 +41,7 @@ h6 {
 
 pre {
     line-height: 100%;
-    font-family: "PT Mono", monospace;
+    font-family: "PT Mono", "Liberation Mono", "DejaVu Sans Mono", "Courier new", monospace;
     margin: 1.2em -8pt;
 }
 
-- 
cgit v1.2.3-54-g00ecf