let color_doc_code = new O.string_cp ~group: Cam_rc.gui_ini
    ["colors" ; "doc" ; "code""Orange" ""