added some html style improvements to the html formatter