.CodeMirror {
	height: 100% !important;
}

.CodeMirror-line-numbers {
	width: 2.2em;
	color: #aaa;
	background-color: #eee;
	text-align: right;
	padding-right: .3em;
	font-size: 10pt;
	font-family: monospace !important;
	padding-top: .4em;
	line-height: normal;
}

.CodeMirror-line-numbers > div{
    font-family: monospace !important;
}
