From 6e3165002abf8d2255ff3bfcb334375d8b05bd1d Mon Sep 17 00:00:00 2001
From: Justin Dailey <unknown>
Date: Sun, 9 Jul 2017 10:26:35 +1000
Subject: Updated styling to avoid Comic Sans - such an unfairly maligned font.

---
 doc/ScintillaDoc.html | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/ScintillaDoc.html b/doc/ScintillaDoc.html
index 21b110e34..a04205387 100644
--- a/doc/ScintillaDoc.html
+++ b/doc/ScintillaDoc.html
@@ -55,12 +55,12 @@
 		color: #808080;
 	}
 	.S2 {
-		font-family: 'Comic Sans MS';
+		font-family: Georgia, 'DejaVu Serif';
 		color: #007F00;
 		font-size: 9pt;
 	}
 	.S3 {
-		font-family: 'Comic Sans MS';
+		font-family: Georgia, 'DejaVu Serif';
 		color: #3F703F;
 		font-size: 9pt;
 	}
@@ -79,7 +79,7 @@
 		color: #000000;
 	}
 	.S17 {
-		font-family: 'Comic Sans MS';
+		font-family: Georgia, 'DejaVu Serif';
 		color: #3060A0;
 		font-size: 9pt;
 	}
-- 
cgit v1.2.3