deleted menu, added coloring for mine sensors
changed fonts, removed user ability to highlight