From 40ef433abb89cb205ee25077fab343951caabe35 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Tue, 15 Jan 2013 18:38:37 -0800
Subject: [PATCH] HTML template:  Add quotes styles if 'quotes'.

---
 default.html | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/default.html b/default.html
index 8e23d9bb1..b7b74c223 100644
--- a/default.html
+++ b/default.html
@@ -12,6 +12,9 @@ $if(date-meta)$
 $endif$
   <title>$if(title-prefix)$$title-prefix$ - $endif$$pagetitle$</title>
   <style type="text/css">code{white-space: pre;}</style>
+$if(quotes)$
+  <style type="text/css">q { quotes: "“" "”" "‘" "’"; }</style>
+$endif$
 $if(highlighting-css)$
   <style type="text/css">
 $highlighting-css$