XSL for transforming DocBook to AsciiDoc