Functioning HTML5 version of the RST HTMLTranslator