Change Stylish CSS editor font?

ValacarValacar
in Style Development Firefox
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

  • SonnySonny
    edited June 2016 PaleMoon
    NM, must not be that important.
  • ValacarValacar
    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.