User blog comment:Sarah Manley/Try the New Wikia Editor/@comment-824313-20110623203808

I figured out how to shrink the text in the editor to a less weird-looking size in source mode, while it doesn't seem to affect visual mode:
 * 1) wpTextbox1 {font-size: 9pt !important;}