.CodeMirror {
	font-size: 13px;
	line-height: 15px;
	border: 1px solid #ccc;
	max-width: 1000px;
}
.CodeMirror * {
	font-family: monospace;
}
.CodeMirror-scroll {
	height: 500px;
}
.CodeMirror-gutter {
	border-right: 1px solid #ddd;
}
#codeoptions {
	background-color: #EEE;
	border: 1px solid #CCC;
	border-bottom: none;
	text-align: right;
	font-size: 11px;
	font-weight: bold;
	margin:0;
}
#codelang {
	font-size: 11px;
}
#codewrap {
	height: 12px;
	position: relative;
	top: 2px;
}
.activeline {
	background: #EBFFEC !important;
}
pre {
	cursor: text;
}
.cm-s-default {
	font-size: 12px;
}
.cm-s-default, .cm-s-default span {
	font-family: monospace;
}