>>6
Sorry, like I said, I don't really know my way around greasemonkey and javascript, so it'd be a lot of work for me. Wouldn't https://addons.mozilla.org/en-US/firefox/addon/3818 be enough for that?
Also, can someone using Windows confirm that the fonts of the menu are reasonably sized?