let color_doc_keyword = new O.string_cp ~group: Cam_rc.gui_ini
    ["colors" ; "doc" ; "keyword""Red" ""