.editor, body div.editor .CodeMirror{
	height: 98.2%;
	width: 98.8%;
	display: block;
	margin: 0.25em 0.3em;
	padding: 0;
	overflow: auto;
	background-color: white;
	border-radius: 0px 0px 8px 8px;
}

span.editorLine {/*
	z-index: 100;
	position: absolute;
	top: 0;
	right: 0;
	*/
	float: right;
}