.ui-resizable-s {
	height: 9px;
	background-color: #ABC;
}
.CodeMirror:nth-of-type(1) {
	height: 100px;
}
.CodeMirror:nth-of-type(2) {
	height: 200px;
}

#message {
	height: 62px;
	resize: none;
}

pre#errPoint .p1 {
	background-color: #F55;
}
pre#errPoint .p2 {
	background-color: #F99;
}
pre#errPoint {
	padding: 5px;
	background-color: #EEE;
	white-space: pre-wrap;
	height: 100px;
	resize: vertical;
}

textarea.info {
	background-color: #DEF !important;
}
textarea.warn {
	background-color: #FED !important;
}
textarea.error {
	background-color: #FDE !important;
}