-
This replaces the "font: menu" CSS rules with "font-family: -webkit-system-font" ones. The latter are nicer to work with, because they only modify the font family without affecting the rest of the font attributes. Fixes bug #789119
e53f2c0e
This replaces the "font: menu" CSS rules with "font-family: -webkit-system-font" ones. The latter are nicer to work with, because they only modify the font family without affecting the rest of the font attributes. Fixes bug #789119