Extra Font Size Controls

[oneirocosm]

This adds:

• "editor:fontsize" to modify the code editor's font size
• "ai:fontsize" to modify the ai widget's font size (for general text)
• "ai:fixedfontsize" to modify the ai widget's fixed font size (for code fragments)