* web/code_map/model_codemap.ml: large display for codemap possible