body { 
	position: relative;
}

@media (min-width: 767px) { 
	#navigation{
		position: fixed;
	}
}

.CodeMirror {
	height: auto;
}