13.6 Specifying document-wide properties for HTML

In this section:

§13.6.1 Specifying a default DPI setting

§13.6.2 Converting system variables to text for HTML

§13.6.3 Suppressing closing </p> tags for HTML

§13.6.4 Suppressing line breaks in HTML and XML output

§13.6.5 Preventing adjacent <pre> elements from merging