.CodeMirror {
	border: 1px dotted black; border-image: none; height: 100%; font-family: monospace; min-height: 100px;
}
.CodeMirror-scroll {
	overflow: auto;
}
.CodeMirror-lines {
	padding: 4px 0px;
}
.CodeMirror pre {
	padding: 0px 4px;
}
.CodeMirror-scrollbar-filler {
	background-color: white;
}
.CodeMirror-gutters {
	border-right-color: rgb(221, 221, 221); border-right-width: 1px; border-right-style: solid; background-color: rgb(247, 247, 247);
}
.CodeMirror-linenumbers {
	
}
.CodeMirror-linenumber {
	padding: 0px 3px 0px 5px; text-align: right; color: rgb(153, 153, 153); min-width: 20px;
}
.CodeMirror div.CodeMirror-cursor {
	border-left-color: black; border-left-width: 1px; border-left-style: solid;
}
.CodeMirror div.CodeMirror-secondarycursor {
	border-left-color: silver; border-left-width: 1px; border-left-style: solid;
}
.cm-keymap-fat-cursor.CodeMirror div.CodeMirror-cursor {
	background: rgba(0, 200, 0, 0.4); border: 0px currentColor; border-image: none; width: auto;
}
.cm-keymap-fat-cursor.CodeMirror div:not(#nonsense_id).CodeMirror-cursor {
	
}
.CodeMirror div.CodeMirror-overwrite.CodeMirror-cursor {
	
}
.cm-s-default .cm-keyword {
	color: rgb(119, 0, 136);
}
.cm-s-default .cm-atom {
	color: rgb(34, 17, 153);
}
.cm-s-default .cm-number {
	color: rgb(17, 102, 68);
}
.cm-s-default .cm-def {
	color: rgb(0, 0, 255);
}
.cm-s-default .cm-variable {
	color: black;
}
.cm-s-default .cm-variable-2 {
	color: rgb(0, 85, 170);
}
.cm-s-default .cm-variable-3 {
	color: rgb(0, 136, 85);
}
.cm-s-default .cm-property {
	color: black;
}
.cm-s-default .cm-operator {
	color: black;
}
.cm-s-default .cm-comment {
	color: rgb(170, 85, 0);
}
.cm-s-default .cm-string {
	color: rgb(170, 17, 17);
}
.cm-s-default .cm-string-2 {
	color: rgb(255, 85, 0);
}
.cm-s-default .cm-meta {
	color: rgb(85, 85, 85);
}
.cm-s-default .cm-error {
	color: rgb(255, 0, 0);
}
.cm-s-default .cm-qualifier {
	color: rgb(85, 85, 85);
}
.cm-s-default .cm-builtin {
	color: rgb(51, 0, 170);
}
.cm-s-default .cm-bracket {
	color: rgb(153, 153, 119);
}
.cm-s-default .cm-tag {
	color: rgb(17, 119, 0);
}
.cm-s-default .cm-attribute {
	color: rgb(0, 0, 204);
}
.cm-s-default .cm-header {
	color: blue;
}
.cm-s-default .cm-quote {
	color: rgb(0, 153, 0);
}
.cm-s-default .cm-hr {
	color: rgb(153, 153, 153);
}
.cm-s-default .cm-link {
	color: rgb(0, 0, 204);
}
.cm-negative {
	color: rgb(221, 68, 68);
}
.cm-positive {
	color: rgb(34, 153, 34);
}
.cm-header {
	font-weight: bold;
}
.cm-strong {
	font-weight: bold;
}
.cm-em {
	font-style: italic;
}
.cm-emstrong {
	font-style: italic; font-weight: bold;
}
.cm-link {
	text-decoration: underline;
}
.cm-invalidchar {
	color: rgb(255, 0, 0);
}
div.CodeMirror span.CodeMirror-matchingbracket {
	color: rgb(0, 255, 0);
}
div.CodeMirror span.CodeMirror-nonmatchingbracket {
	color: rgb(255, 34, 34);
}
.CodeMirror {
	line-height: 1.5; overflow: hidden; position: relative;
}
.CodeMirror-scroll {
	height: 100%; padding-right: 30px; padding-bottom: 30px; margin-right: -30px; margin-bottom: -30px; position: relative;
}
.CodeMirror-sizer {
	position: relative;
}
.CodeMirror-vscrollbar {
	display: none; position: absolute; z-index: 6;
}
.CodeMirror-hscrollbar {
	display: none; position: absolute; z-index: 6;
}
.CodeMirror-scrollbar-filler {
	display: none; position: absolute; z-index: 6;
}
.CodeMirror-vscrollbar {
	top: 0px; right: 0px; -ms-overflow-x: hidden; -ms-overflow-y: scroll;
}
.CodeMirror-hscrollbar {
	left: 0px; bottom: 0px; -ms-overflow-x: scroll; -ms-overflow-y: hidden;
}
.CodeMirror-scrollbar-filler {
	right: 0px; bottom: 0px; z-index: 6;
}
.CodeMirror-gutters {
	left: 0px; top: 0px; height: 100%; padding-bottom: 30px; position: absolute; z-index: 3;
}
.CodeMirror-gutter {
	height: 100%; display: inline-block;
}
.CodeMirror-gutter-elt {
	position: absolute; z-index: 4; cursor: default;
}
.CodeMirror-lines {
	cursor: text;
}
.CodeMirror pre {
	background: none; border-width: 0px; margin: 0px; border-radius: 0px; color: inherit; line-height: inherit; overflow: visible; font-family: inherit; font-size: inherit; white-space: pre; position: relative; z-index: 2; -ms-word-wrap: normal; -moz-border-radius: 0; -webkit-border-radius: 0; -o-border-radius: 0;
}
.CodeMirror-wrap pre {
	white-space: pre-wrap; -ms-word-break: normal; -ms-word-wrap: break-word;
}
.CodeMirror-linebackground {
	left: 0px; top: 0px; right: 0px; bottom: 0px; position: absolute; z-index: 0;
}
.CodeMirror-linewidget {
	overflow: auto; position: relative; z-index: 2;
}
.CodeMirror-widget {
	display: inline-block;
}
.CodeMirror-wrap .CodeMirror-scroll {
	-ms-overflow-x: hidden;
}
.CodeMirror-measure {
	width: 100%; height: 0px; overflow: hidden; visibility: hidden; position: absolute;
}
.CodeMirror-measure pre {
	position: static;
}
.CodeMirror div.CodeMirror-cursor {
	width: 0px; border-right-color: currentColor; border-right-width: medium; border-right-style: none; visibility: hidden; position: absolute;
}
.CodeMirror-focused div.CodeMirror-cursor {
	visibility: visible;
}
.CodeMirror-selected {
	background: rgb(217, 217, 217);
}
.CodeMirror-focused .CodeMirror-selected {
	background: rgb(215, 212, 240);
}
.cm-searching {
	background: rgba(255, 255, 0, 0.4);
}
.CodeMirror span {
	
}
@media print
{
.CodeMirror div.CodeMirror-cursor {
	visibility: hidden;
}
}
