Description Mark Macdonald 2013-03-27 16:05:47 EDT

I noticed that the font used for all editor themes changed back to Courier recently. It's supposed to be something else (Lucida Console perhaps, I can't recall exactly).

I inspected the page CSS, I found this rule:

> .editorTheme {
>   font-family: monospace; /* XXX */
>   font-size: 10pt;
>   color: darkSlateGray;
> }

The font-family rule above overrides the fancy font set elsewhere in CSS, and resets it back to Courier. This is 2013, we are on the web and Courier is not cool anymore.