let font_doc_code_bold = new O.string_cp ~group: Cam_rc.gui_ini ["fonts" ; "doc" ; "bold_code" ] "-misc-fixed-bold-r-normal--13-100-100-100-c-70-iso8859-1" ""