Navigation

The navigation can now be folded in and out on the left-hand side.