XSL Transform to convert Docbook XML to HTMLBook