# HG changeset patch
# User Chris Cannam
# Date 1352977136 0
# Node ID 787c247a1b226b7caad73b5d67ae307b388160d3
# Parent  c1676bf16d66df2c2d4d5d6e7f90e933d28fab31
Minor font change

diff -r c1676bf16d66 -r 787c247a1b22 html-elements.css
--- a/html-elements.css	Thu Dec 08 18:16:04 2011 +0000
+++ b/html-elements.css	Thu Nov 15 10:58:56 2012 +0000
@@ -76,7 +76,8 @@
 
   pre, code
   {
-    font-size: 1.1em; /* Monospace fonts can be hard to read */
+  /*  font-size: 1.1em;*/ /* Monospace fonts can be hard to read */
+    font-size: 0.95em;
     font-family: Consolas, "Bitstream Vera Sans Mono", "Courier New", monospace;
   }