node-mirror/src/dijit/themes/dark/document.less

node.js + CodeMirror = Great IDE and Admin Tool

/* ======= Styling for the document itself (overriding dojo.css) ======== */

@import "variables";
@import url("../../../dojo/resources/dojo.css");

.dark {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: .688em;
  color: @document-text-color;
}

/* Headings */
.dark h1 {
	font-size: 1.545em; 
	margin-bottom:0.727em;
}
.dark h2 { 
	font-size: 1.364em; 
	line-height: 1.455em; 
	margin-top:1em; 
	margin-bottom:0.60em;
	font-weight: normal;
}
.dark h3, .dark h4, .dark h5, .dark h6 {
	font-size:1.091em; 
	font-weight: normal; 
}

/* paragraphs, quotes and lists */
.dark p { 
	line-height: 1.3em;
}

/* pre and code */
.dark pre, .dark code { 
	font-family:inherit; 
	background-color: @document-shadedsection-background-color; 
	border: 1px solid @document-border-color;
}

/* tables */
.dark table.dojoTabular thead, .dark table.dojoTabular tfoot { 
	background-color: @document-shadedsection-background-color; 
	border: 1px solid @document-border-color; 
}