aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--doc/template.html10
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;