Add ability to set a different default font for CKEditor
More fixes to accommodate recent change of default font