1 files changed, 5 insertions, 0 deletions
diff --git a/doc/README.html b/doc/README.html
index f3a9712..4e2794a 100644
--- a/doc/README.html
+++ b/doc/README.html
@@ -43,6 +43,11 @@
         td, dt {
             background-color: #eee;
         }
+        pre {
+            font-size: 10pt;
+            border: thin dotted #ccc;
+            padding: 2pt;
+        }
     </style>
 
 </head>