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