edits

diff --git a/doc/docs.css b/doc/docs.css
index 8aa9cf4..1c07fd8 100644
--- a/doc/docs.css
+++ b/doc/docs.css

@@ -62,7 +62,7 @@
     font-size:.80em;
 }
 code {
-    font-size:1.1em;
+    font-size:1.2em;
 }
 .code {
     font-family:monospace;
@@ -81,7 +81,7 @@
 pre { 
     margin: 1.5em; 
     padding: .5em; 
-    font-size: .95em; 
+    font-size: 1em; 
     line-height:1em;
     background-color: #eee;
     border: 1px solid #ccc;