Add pointer: "cursor" to mobile menu
Replaced div with button, added pointer: "cursor" and removed default button styles. Button is better for accessibility and automatically gives the element a tabIndex.
To receive notifications about scheduled maintenance, please subscribe to the mailing-list gitlab-operations@sympa.ethz.ch. You can subscribe to the mailing-list at https://sympa.ethz.ch
Replaced div with button, added pointer: "cursor" and removed default button styles. Button is better for accessibility and automatically gives the element a tabIndex.