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/

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

* Fix wrong positioning of green slider in header
* Transitions have been redesigned to be a bit more flexible
* It is possible to specify which transition is intended while including
* Added Path in SVG to also allow right side slider if required