aboutsummaryrefslogtreecommitdiffstats
path: root/doc
diff options
context:
space:
mode:
authorGuilhem Moulin <guilhem@fripost.org>2019-07-05 15:29:07 +0200
committerGuilhem Moulin <guilhem@fripost.org>2019-07-05 15:29:07 +0200
commit420cd08692d4962155b23925eabc74d9002bf55d (patch)
tree57c96285e260d3aff20595d2e172fe229a08cb69 /doc
parent21d6363c406bd0301b52711a30f98e1f03d0afaa (diff)
doc/template.html: Fix minor space damage.
Diffstat (limited to 'doc')
-rw-r--r--doc/template.html28
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$