diff options
| author | Guilhem Moulin <guilhem@fripost.org> | 2019-07-05 15:29:07 +0200 |
|---|---|---|
| committer | Guilhem Moulin <guilhem@fripost.org> | 2019-07-05 15:29:07 +0200 |
| commit | 420cd08692d4962155b23925eabc74d9002bf55d (patch) | |
| tree | 57c96285e260d3aff20595d2e172fe229a08cb69 /doc | |
| parent | 21d6363c406bd0301b52711a30f98e1f03d0afaa (diff) | |
doc/template.html: Fix minor space damage.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/template.html | 28 |
1 files changed, 13 insertions, 15 deletions
diff --git a/doc/template.html b/doc/template.html index ceb2576..17cbdbe 100644 --- a/doc/template.html +++ b/doc/template.html @@ -15,18 +15,21 @@ $if(keywords)$ $endif$ <title>$if(title-prefix)$$title-prefix$ – $endif$$pagetitle$</title> <style type="text/css"> - code{white-space: pre-wrap;} - span.smallcaps{font-variant: small-caps;} - span.underline{text-decoration: underline;} - div.column{display: inline-block; vertical-align: top; width: 50%;} - @media only screen and (min-width: 600px) { - .parent { - float: right; - margin-left: 1em; - } + code{white-space: pre-wrap;} + span.smallcaps{font-variant: small-caps;} + span.underline{text-decoration: underline;} + div.column{display: inline-block; vertical-align: top; width: 50%;} + @media only screen and (min-width: 600px) { + .parent { + float: right; + margin-left: 1em; } + } + @media(max-width: 1440px) { .container{ max-width: 1080px; } } + @media(max-width: 1280px) { .container{ max-width: 960px; } } + @media(max-width: 1024px) { .container{ max-width: 768px; } } $if(quotes)$ - q { quotes: "“" "”" "‘" "’"; } + q { quotes: "“" "”" "‘" "’"; } $endif$ </style> $if(highlighting-css)$ @@ -37,11 +40,6 @@ $endif$ $for(css)$ <link rel="stylesheet" href="$css$" /> $endfor$ - <style type="text/css"> - @media(max-width: 1440px) { .container{ max-width: 1080px; } } - @media(max-width: 1280px) { .container{ max-width: 960px; } } - @media(max-width: 1024px) { .container{ max-width: 768px; } } - </style> $if(math)$ $math$ $endif$ |