let font_doc_normal = new O.string_cp ~group: Cam_rc.gui_ini ["fonts" ; "doc" ; "normal" ] "-adobe-times-medium-r-normal-*-*-140-*-*-p-*-iso8859-1" ""