Converter from the output of DocBook XSLT stylesheets to Bootstrap-style HTML5