Found more sensible and efficient way to highlight menu entries