.CodeMirror-line-numbers {
	width: 2.2em;
	padding: 0.4em 0.3em 0 0;
	background-color: #EEEEEE;
	border-right: 1px solid #ABABAB;
	text-align: right;
	font-size: 10pt;
	font-family: monospace;
	color: #AAAAAA;
}