1 files changed, 9 insertions, 1 deletions
diff --git a/doc/template.html b/doc/template.html
index 0d497db..d825cde 100644
--- a/doc/template.html
+++ b/doc/template.html
@@ -19,10 +19,18 @@ $endif$
     span.smallcaps{font-variant: small-caps;}
     span.underline{text-decoration: underline;}
     div.column{display: inline-block; vertical-align: top; width: 50%;}
-    pre{tab-size: 4; -moz-tab-size: 4;}
     table{width: 100%; margin-bottom: 3ex;}
     table > thead > tr.header > th{border-bottom: 2px solid #ddd; padding: 8px;}
     table > tbody > tr        > td{border-bottom: 1px solid #ddd; padding: 6px;}
+    pre {
+      padding: 16px;
+      font-size: 85%;
+      line-height: 1.45;
+      background-color: #f6f8fa;
+      border-radius: 6px;
+      tab-size: 4;
+      -moz-tab-size: 4;
+    }
     @media only screen and (min-width: 600px) {
       .parent {
         float: right;