Add an empty border to the settings' button panel

Apparently, this allows it not to be hidden by the central pane.

fixes #38