* code_map/view_overlays.ml: highlight white the def