Huste, Tobias authored 4 years ago and Erxleben, Fredo committed 4 years ago

- This change makes the hamburger menu work without requiring JS and by
only using CSS techniques
- It is implemented by using a technique refered to as checkbox hack: https://css-tricks.com/the-checkbox-hack/