processor for HTML output