HTML output format.

These classes are an implementation of the generic EDOC_OUTPUT
and provide an HTML documentation.