A parser for a condensed HTML format