From 420cd08692d4962155b23925eabc74d9002bf55d Mon Sep 17 00:00:00 2001
From: Guilhem Moulin <guilhem@fripost.org>
Date: Fri, 5 Jul 2019 15:29:07 +0200
Subject: [PATCH] doc/template.html: Fix minor space damage.
---
doc/template.html | 28 +++++++++++++---------------
1 file 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$
--
2.39.5