Norman Walsh's XSL stylesheets for DocBook XML