toHtml (Command "green" y) = "<font color=green>"++(toHtml y)++"</font>"
toHtml (Command "sc" y) = "<sc>"++(toHtml y)++"</sc>"
toHtml (Command "image" y) = "<img src='"++(toHtml y)++"'/>"
+ toHtml (Command "imagec" y) = "<center><img src='"++(toHtml y)++"'/></center>"
+ toHtml (Command "image2" y) = "<img width=180px src='"++(toHtml y)++"'/>"
toHtml (Command "image3" y) = "<img width=200px src='"++(toHtml y)++"'/>"
toHtml (Command "image4" y) = "<center><img width=550px src='"++(toHtml y)++"'/></center>"
toHtml (Command "warn" y) = "\n<div class=warn>\n<table border=0 cellpadding=5px>\n"
toHtml (GlyphText Sharp) = "⋘"
toHtml (GlyphText CheckMark) = "✓"
toHtml (GlyphText XMark) = "✗"
- toHtml (GlyphText LeftArrow) = "&#;" -- FIXME
+ toHtml (GlyphText LeftArrow) = "←"
+ toHtml (GlyphText RightArrow) = "→"
toHtml (GlyphText DoubleLeftArrow) = "&#;" -- FIXME
toHtml (GlyphText DoubleRightArrow) = "&#;" -- FIXME
toHtml (GlyphText DoubleLeftRightArrow) = "&#;" -- FIXME