quickfixes for Firefox 31.0a2 (font size)