diff src/demo.sml @ 1761:f8ddaa296115

Fix hyphenation for demos; parse CSS class 'table' as 'tabl'
author Adam Chlipala <adam@chlipala.net>
date Sun, 13 May 2012 14:27:29 -0400
parents c414850f206f
children 3d922a28370b
line wrap: on
line diff
--- a/src/demo.sml	Sat May 12 15:22:39 2012 -0400
+++ b/src/demo.sml	Sun May 13 14:27:29 2012 -0400
@@ -424,6 +424,10 @@
                            | Settings.Prefix => TextIO.output (outf, "*");
                          TextIO.output (outf, " ");
                          TextIO.output (outf, #to rule);
+                         if #hyphenate rule then
+                             TextIO.output (outf, " [-]")
+                         else
+                             ();
                          TextIO.output (outf, "\n"))) (#rewrites combined);
                 filters "url" (#filterUrl combined);
                 filters "mime" (#filterMime combined);