style fixes for new pdftohtml