read any HTML file and converts by XSLT to HTML4 standard, even the input is HTML5