Use Action instead of signal handler in menus.
Add case distinction for different platforms.
Add GtkSeparator between menu bar and content.
Remove margins and add borders.
Fix bug with HeaderBar case distinction.