User blog comment:Sarah Manley/Updates to the Editor Redesign/@comment-876022-20110702063510/@comment-3388044-20110705083135

I know this is simple and Ryan probably already tried it, but I added the following code to my ".css" file and it made it easier to read:

/* Change source-mode font characteristics in editor */

font-size: 12pt !important; font-style: bold !important; }
 * 1) wpTextbox1 {

/* #EditPageEditor textarea { font-size: 12pt !important; font-style: bold !important; } */

/* END Change source-mode font characteristics in editor */

This is not my code. It was provided by another user in another Wikia blog. Note that the second part of the code is commented out.