diff options
| author | Guilhem Moulin <guilhem@fripost.org> | 2019-07-06 14:55:04 +0200 |
|---|---|---|
| committer | Guilhem Moulin <guilhem@fripost.org> | 2019-07-06 14:56:28 +0200 |
| commit | 4b61d5e13773bf8bf25537f28d1a42f7c6473b75 (patch) | |
| tree | ac753da3046611133911d1838b52ee3ab3141cde /doc/template.html | |
| parent | 955cda2cfa32ca6e475b6726df4732f5dc98a30f (diff) | |
doc/*: Fix minor space damage.
Also, set tab size to 4 spaces in the HTML for consistency.
Diffstat (limited to 'doc/template.html')
| -rw-r--r-- | doc/template.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/template.html b/doc/template.html index a3a3938..2cd7cc9 100644 --- a/doc/template.html +++ b/doc/template.html @@ -19,6 +19,7 @@ $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;} @media only screen and (min-width: 600px) { .parent { float: right; |