Changed TeX HTML output to Firefox