No Firefox 27, o Codemirror agora é implementado como o editor de código padrão:
Codemirror
Codemirror é um popular componente de editor de código baseado em HTML5 usado em sites. É personalizável e compatível com temas. O Firefox Devtools agora usa o CodeMirror em vários lugares: Editor de estilo, Depurador, Inspetor (Editar como HTML) e Scratchpad.
No painel Opção, o usuário pode selecionar qual tema usar (escuro ou claro).
Fonte: Ferramentas para desenvolvedores do Firefox: Episódio 27 - Editar como HTML, Codemirror & amp; mais
Isso funciona para mim em ~/.mozilla/firefox/profile-name/chrome/userChrome.css
.
@namespace url(http://www.w3.org/1999/xhtml);
@-moz-document regexp("chrome://browser/content/devtools/.*"){
* { font-size: 20px !important }
}