Render stringlike delimiters in HTML. Fixes #32.