Do not crash in Preferences dialog if SSL is not available, fixes #376
Add slight margin to navigation bar, fixes #373