diff options
author | Guilhem Moulin <guilhem@fripost.org> | 2020-07-02 03:45:56 +0200 |
---|---|---|
committer | Guilhem Moulin <guilhem@fripost.org> | 2020-07-02 03:45:56 +0200 |
commit | dc883341a13340c85b028ee16aa0963db6f47587 (patch) | |
tree | ca85020d887c1625e8e4239278abcf96721afc04 | |
parent | 95df46e54ce090506cdce1c54616ea849670c2db (diff) |
HTML: Add background color to code snippets.
-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; |