let font_doc_code = new O.string_cp ~group: Cam_rc.gui_ini
    ["fonts" ; "doc" ;  "code" ] "fixed" ""