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"
    ""