Changed debugger font to Courier (except for Symbols)
Added customization option for debugging font
More work done on customization