body {
	font-size: 10pt !important;
}
.CodeMirror {
	font-size: 13px;
}
body .ui-dialog {
	top: 40px !important;
	width: 1000px !important;
}