* code_map/view_overlays.ml: estet