HTML output stream class
