These are XSL stylesheets for the DocBook DTD and its derivatives (Simplified
DocBook, etc.).