style-jimmy-editor-admin.css

/*--------------------------------------------------------------
Jimmy Editor
--------------------------------------------------------------*/

/* Default for post editor */
div#wp-content-editor-container textarea#content {
	background-color: #000;
	color: #fff;
	font-family: monospace;
	font-weight: 700;
	font-size: 1.1em;
}

/* Default for theme or plugin editor */
form#template textarea#newcontent {
	background-color: #000;
	color: #fff;
	font-family: monospace;
	font-weight: 700;
	font-size: 1.1em;
}