editor now uses monospaced font