Tools for HTML generation and output.