Make spaces visible using CSS.

Closes #49.

I didn't want to actually insert the characters, since I want
the code samples to be cut/pasteable.  But this CSS trick seems
to work.

2 files changed, 4 insertions, 3 deletions

diff --git a/Makefile b/Makefile
index 5f9cb34..1b2d510 100644
--- a/Makefile
+++ b/Makefile
@@ -37,9 +37,10 @@ spec.md: $(SPEC)
 
 spec.html: spec.md template.html
 	pandoc --no-highlight --number-sections --template template.html -s --toc -S $< | \
-	perl -pe 's/a href="@([^"]*)"/a id="\1" href="#\1" class="definition"/g' > $@
+	perl -pe 's/a href="@([^"]*)"/a id="\1" href="#\1" class="definition"/g' | \
+	perl -pe 's/␣/<span class="space"> <\/span>/g' \
+	> $@
 
-	 # | perl -pe 's/␣/<span class="space"> <\/span>/g' > $@
 
 spec.pdf: spec.md template.tex specfilter.hs
 	pandoc -s $< --template template.tex \
diff --git a/spec2md.pl b/spec2md.pl
index f93aad8..313f86f 100644
--- a/spec2md.pl
+++ b/spec2md.pl
@@ -29,7 +29,7 @@ while (<STDIN>) {
         $section = $match[0];
     }
     if ($stage != 0) {
-      #  $_ =~ s/ /␣/g;
+      $_ =~ s/ /␣/g;
     }
     print $_;
   }