diff options
author | Guilhem Moulin <guilhem@debian.org> | 2021-01-01 16:14:32 +0100 |
---|---|---|
committer | Guilhem Moulin <guilhem@debian.org> | 2021-01-01 16:14:32 +0100 |
commit | 976c2470be41b7fb109f50f95fcb0b619d150dca (patch) | |
tree | 2d314daa05e84cea0d16a45261f2adcf4612bcd2 /doc/template.html | |
parent | c28422649ba744c7da53c57a768b324dbce29578 (diff) | |
parent | 75d983baba64e065e39b3e2a8b848117fe1bfc66 (diff) |
Merge tag 'v0.5.6' into debian/latest
Release version 0.5.6
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;} |