Change Stylish CSS editor font?

Can someone tell me how to change the Stylish CSS editor font? Previously I used this...
@namespace url("http://www.w3.org/1999/xhtml");
@-moz-document regexp("^data:text/html.*/devtools/codemirror/.*"),
url-prefix("chrome://devtools/content/sourceeditor/codemirror/")
{
.devtools-monospace {
font-family: monospace;
font-size: 12pt;
}

.CodeMirror-code {
font-size: 20px !important;
line-height: 1.2;
}
}
...but it's not working anymore, and I can't find any updated styles.

Comments

  • edited June 2016 PaleMoon
    NM, must not be that important.
  • edited July 2016 Firefox
    I figured it out myself using DOM Inspector. Apparently it's in an IFRAME within about:stylish-edit, and its src attribute is a pretty long data URI. This is what I came up with::
    @namespace url("http://www.w3.org/1999/xhtml");
    @-moz-document regexp("^data:text/html;.*chrome://devtools/content/sourceeditor/codemirror/.*")
    {
    .CodeMirror-lines {
    font-family: monospace !important;
    font-size: 14px !important;
    line-height: 1.4 !important;
    }
    }
Sign In or Register to comment.