Responsive layout

The site layout including the main navigation is made responsive.

The navigation state has been made more persistent. When changing the language, the currently active menu item does not get rendered as non-active for a short period anymore.