Format of this document

This is the docbook DTD which should give excellent output.