OpenUserJs/OpenUserJS.org — pull request #86 by Martii (2014-05-07 19:55:47+00:00)
Title: Apply a default fixed font to nav-button-label when themes.googleusercon...

...tent.com is blocked from NoScript.

This maintains the nav-button height.