diff options
author | Guilhem Moulin <guilhem@fripost.org> | 2021-01-01 16:03:12 +0100 |
---|---|---|
committer | Guilhem Moulin <guilhem@fripost.org> | 2021-01-01 16:04:34 +0100 |
commit | e90d1375130612184e904dbec2b4577d74927dae (patch) | |
tree | d9336c3abfa5c649143057c6d5ac79ea611aab1e /doc/template.html | |
parent | 55b8c321048b1d4ebfbd30968e11d2a68ee4d242 (diff) |
doc/template.html: remove type attribute from <style/> element.
Diffstat (limited to 'doc/template.html')
-rw-r--r-- | doc/template.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/template.html b/doc/template.html index d825cde..c3809ad 100644 --- a/doc/template.html +++ b/doc/template.html @@ -14,7 +14,7 @@ $if(keywords)$ <meta name="keywords" content="$for(keywords)$$keywords$$sep$, $endfor$" /> $endif$ <title>$if(title-prefix)$$title-prefix$ – $endif$$pagetitle$</title> - <style type="text/css"> + <style> code{white-space: pre-wrap;} span.smallcaps{font-variant: small-caps;} span.underline{text-decoration: underline;} |