diff html-elements.css @ 7:787c247a1b22 tip

Minor font change
author Chris Cannam
date Thu, 15 Nov 2012 10:58:56 +0000
parents 1e65fbe45c61
children
line wrap: on
line diff
--- 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;
   }