From ac1c9301f00bdb6cceaf1c49e18f96bab5ca9396 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sat, 8 Nov 2014 21:01:18 -0800
Subject: template.html changes needed to make visible spaces work.

---
 template.html | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

(limited to 'template.html')

diff --git a/template.html b/template.html
index 9ae92f8..f9723c6 100644
--- a/template.html
+++ b/template.html
@@ -20,11 +20,11 @@ h4 { font-size: 100%; font-weight: bold; }
 a.definition { font-weight: bold; }
 span.space { position: relative; }
 span.space:after {
-  content: "";
+  content: "·";
   position: absolute;
   /* create a mark that indicates a space (trick from D. Greenspan) */
-  top: 3px; bottom: 3px; left: 1px; right: 1px;
-  border: 1px solid #999;
+  top: 0px; bottom: 7px; left: 1px; right: 1px;
+  color: #AAA;
 }
 div.example { overflow: hidden; }
 p { text-align: justify; }
@@ -44,9 +44,6 @@ div.example > pre.markdown { clear:left; }
 pre.tree { font-weight: bold; color: #777; }
 pre.markdown { background-color: #D3E1E4; }
 pre.html { background-color: #C9CaCE; }
-pre.html span.space:after {
-  border: 1px solid #666;
-}
 #watermark {
  position:fixed;
  bottom:0px;
-- 
cgit v1.2.3