added XSLT to render docs to HTML; UI improvements