The userchrome.css css above should change colours and some styling, however setting the editor to use a monospace font again is done using Appearance in the settings menu. Just enter the name of a monospace font installed on your system.

font-options