updating styling attributes to match newest LaTeXML HTML output