Apply fraction styling to HTML pubs as well