Small fixes to search, navigation and header

- fixing global navigation when resizing window
- adding small margin to personal toolbar and header
- indenting the "search current section" checkbox"