HTML template: Add quotes styles if 'quotes'.
commit40ef433abb89cb205ee25077fab343951caabe35
authorJohn MacFarlane <jgm@berkeley.edu>
dateTue 15 Jan 2013, 18:38 (14 years ago)
parentb49608b
default.html+3
@@ -12,6 +12,9 @@ $if(date-meta)$
1212$endif$
1313 <title>$if(title-prefix)$$title-prefix$ - $endif$$pagetitle$</title>
1414 <style type="text/css">code{white-space: pre;}</style>
15+$if(quotes)$
16+ <style type="text/css">q { quotes: "“" "”" "‘" "’"; }</style>
17+$endif$
1518$if(highlighting-css)$
1619 <style type="text/css">
1720$highlighting-css$