diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2019-09-04 17:33:59 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2019-09-05 12:39:50 -0700 |
| commit | bb362fd76c94cb5228b06632c47993ee48cecac4 (patch) | |
| tree | 98fabe7a8f49d419a157d4e7879e68bf88938fb8 /data/templates/default.html4 | |
| parent | 75f6af5c12c4781db74f67cb2aaf043303892032 (diff) | |
Add partial styles.html in HTML5 template.
Avoid duplication in HTML templates by using styles.html partial.
Change indentation of styles in template.
Diffstat (limited to 'data/templates/default.html4')
| -rw-r--r-- | data/templates/default.html4 | 13 |
1 files changed, 1 insertions, 12 deletions
diff --git a/data/templates/default.html4 b/data/templates/default.html4 index 714b3ff2e..5f9b43e47 100644 --- a/data/templates/default.html4 +++ b/data/templates/default.html4 @@ -15,19 +15,8 @@ $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%;} -$if(quotes)$ - q { quotes: "“" "”" "‘" "’"; } -$endif$ - </style> -$if(highlighting-css)$ - <style type="text/css"> -$highlighting-css$ + $styles.html()$ </style> -$endif$ $for(css)$ <link rel="stylesheet" href="$css$" type="text/css" /> $endfor$ |