/* BASICS */

/* Set height, width, borders, and global font properties here */
.cm-s-arinas.CodeMirror {
	background-color: #CEECB9;
	/*background-color: white;*/
	/*background-image: url("/static/img/dark_leather.png");*/
	opacity: 0.96;
	border-radius: 4px;
}
.cm-s-arinas.cm-s-data.CodeMirror {
	background-color: #ffc0c0;
}
.cm-s-arinas.cm-s-patterns.CodeMirror {
	background-color: #dfad8a;
}

.cm-s-arinas.CodeMirror-selected { background: #eff !important; }
.cm-s-arinas.CodeMirror-focused .CodeMirror-selected { background: #dff !important; }
.cm-s-arinas.CodeMirror ::selection { background: #dff; }
.cm-s-arinas.CodeMirror ::-moz-selection { background: #dff; }

/* PADDING */

/* Vertical padding around content */
.cm-s-arinas .CodeMirror-lines {}
/* Horizontal padding of content */
.cm-s-arinas.CodeMirror pre {}

/* The little square between H and V scrollbars */
.cm-s-arinas .CodeMirror-scrollbar-filler,
.cm-s-arinas .CodeMirror-gutter-filler {}

/* GUTTER */

.cm-s-arinas .CodeMirror-gutters {}
.cm-s-arinas .CodeMirror-linenumbers {}
.cm-s-arinas .CodeMirror-linenumber {}

.cm-s-arinas .CodeMirror-guttermarker {}
.cm-s-arinas .CodeMirror-guttermarker-subtle {}

/* CURSOR */

.cm-s-arinas.CodeMirror div.CodeMirror-cursor {}
/* Shown when moving in bi-directional text */
.cm-s-arinas.CodeMirror div.CodeMirror-secondarycursor {}
.cm-s-arinas.CodeMirror.cm-fat-cursor div.CodeMirror-cursor {}
.cm-s-arinas.CodeMirror.cm-fat-cursor div.CodeMirror-cursors {}

.cm-s-arinas .cm-animate-fat-cursor {}

/* Can style cursor different in overwrite (non-insert) mode */
.cm-s-arinas div.CodeMirror-overwrite div.CodeMirror-cursor {}

.cm-s-arinas .cm-tab {}

.cm-s-arinas .CodeMirror-ruler {}

/* LeS LANGUAGE THEME */

/* comment */		.cm-s-arinas .cm-comment {color: #3F7F5F;}
/* doc comment */	.cm-s-arinas .cm-quote {color: #3F5FBF;}
/* path identif */	.cm-s-arinas .cm-def {color: orangered;}
/* BIC calls */		.cm-s-arinas .cm-header {color: #d0d; font-weight: normal;}

/* integer */	.cm-s-arinas .cm-number {color: #cb333a; font-style: italic;}
/* floating */	.cm-s-arinas .cm-attribute {color: crimson; font-style: normal;}
/* temporal */	.cm-s-arinas .cm-string-2 {color: #808000;}
/* character */	.cm-s-arinas .cm-string-3 {color: #170; font-weight: bold;}
/* string */	.cm-s-arinas .cm-string {color: #170;}

/* delimiter */	.cm-s-arinas .cm-bracket {color: #997;}
/* operator */	.cm-s-arinas .cm-operator {color: teal;}

/* reserved */	.cm-s-arinas .cm-keyword {color: #00007F; font-weight: bold;}
/* test op */	.cm-s-arinas .cm-qualifier {color: #00007F; font-style: italic;}

/* i/o tree */	.cm-s-arinas .cm-variable {color: #7F4040; font-weight: bold; text-decoration: underline;}
/* r/w tree */	.cm-s-arinas .cm-variable-2 {color: #7F4040; font-weight: bold;}
/* r/o tree */	.cm-s-arinas .cm-variable-3 {color: #7F4040; font-weight: normal;}
/* loop/exc */	.cm-s-arinas .cm-property {color: #00007F;}

/* atoms */		.cm-s-arinas .cm-atom {color: #b31094; font-weight: normal;}
/* spec lit */	.cm-s-arinas .cm-tag {color: darkslategray;}
/* obj spec */	.cm-s-arinas .cm-builtin {color: #00007f; text-decoration: underline;}

/* not used */	.cm-s-arinas .cm-punctuation,
/* not used */	.cm-s-arinas .cm-meta,
/* not used */	.cm-s-arinas .cm-hr,
/* not used */	.cm-s-arinas .cm-link {}

.cm-s-arinas .cm-negative {}
.cm-s-arinas .cm-positive {}
.cm-s-arinas .cm-header, .cm-strong {}
.cm-s-arinas .cm-em {}
.cm-s-arinas .cm-strikethrough {}

.cm-s-arinas .cm-error {
	background-color: red;
}
.cm-s-arinas .cm-invalidchar {}

.cm-s-arinas .cm-les-template {font-style: italic; color: #69F;}

/* Default styles for common addons */

div.CodeMirror span.CodeMirror-matchingbracket {color: teal; background-color: #ddd; font-weight: bold;}
div.CodeMirror.cm-s-arinas span.CodeMirror-nonmatchingbracket {}
.cm-s-arinas .CodeMirror-matchingtag {}
.cm-s-arinas .CodeMirror-activeline-background {background-color: #dff;}

.CodeMirror-focused .cm-matchhighlight {
	background-color: rgba(0,0,0,0.2);
}
.CodeMirror-selection-highlight-scrollbar {
	background-color: rgba(169,195,116,0.7);
}