diff options
| -rw-r--r-- | doc/template.html | 10 |
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; |