Resolve "Mauszeiger beim Hover über Navigationselementen anpassen." Closes #758 See merge request !1265