* web/code_map/draw_microlevel.ml: naive version, no colors