Tweaks for the Menu Button size (closes #176).
Fixed #186: F3 and Shift+F3 shortcuts are no longer global in the main window.