Minor theme adjustments...
Get rid of the menubar from the main window and move it to a button...

The point being to provide a more consistent experience across different
desktop environments, as well as conserving vertical space in DEs like
Gnome3 that already waste plenty of vertical space without a menu bar...