Use Courier 9 instead of Courier 10, for the GTKMM DebugConsoleWidget.
Authored by: debug 2008-04-20
Parent: [r122]
Child: [r124]