diff options
| author | Guilhem Moulin <guilhem@fripost.org> | 2020-08-03 20:51:42 +0200 |
|---|---|---|
| committer | Guilhem Moulin <guilhem@fripost.org> | 2020-08-03 20:51:42 +0200 |
| commit | 531e27c2dfd67b4ad600c2ad5e13e608a75f04d8 (patch) | |
| tree | d669f8caf9c795d88ce3e72736157901dbcaec15 /doc | |
| parent | 887526e77f7a3b707c53457b076d098a1edefeb7 (diff) | |
| parent | fe5501d4bb4c7c6365ceb009ea715356cca27a50 (diff) | |
Merge tag 'upstream/0.5.2' into debian
Upstream version 0.5.2
Diffstat (limited to 'doc')
| -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; |