- 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/