Choose some less ancient-looking font settings.

1 files changed, 21 insertions, 0 deletions

diff --git a/local.css b/local.css
index 46334bd8..e3942943 100755
--- a/local.css
+++ b/local.css
@@ -2,6 +2,27 @@
 
 /* Add local styling here, instead of modifying style.css. */
 
+/* Fonts */
+body {
+	font-family: "Trebuchet MS",
+		     "Luxi Sans",
+		     "Bitstream Vera Sans",
+		     "Tahoma",
+		     "Verdana",
+		     "Helvetica",
+		     "Arial",
+		     sans-serif;
+	font-size: 100.01%;
+}
+
+pre, tt, code {
+	font-family: "Bitstream Vera Sans Mono",
+		     "Luxi Mono",
+		     "Courier New",
+		     "Courier",
+		     monospace;
+}
+
 /* Tables */
 table
 {