HTML stylesheets

The HTML version of this document makes use of a custom CSS stylesheet for rendering HTML elements slightly differently (in fact, in this small example only some colours are changed). The CSS stylesheet is the Section called selfdocbook.css in Appendix A, and the DocBook HTML stylesheet is told about it by our custom DSSSL layer: the stylesheet parameter is set to the name of the CSS file we want to use. See the Section called selfdocbook.dsl in Appendix A for how that's done.