Backport: Updated styling to avoid Comic Sans - such an unfairly maligned font.

Backport of changeset 6341:a9e074386d18.

1 files changed, 3 insertions, 3 deletions

diff --git a/doc/ScintillaDoc.html b/doc/ScintillaDoc.html
index 2679975dc..f41018471 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;
 	}