/* tau prolog theme for codemirror */

/* Color scheme */

.cm-s-tau.CodeMirror {
  background-color:#000000;
  color:rgb(156, 156, 156);
  font-size: 10pt;
  line-height:1.4375;
}
.cm-s-tau .cm-comment { color:green; }
.cm-s-tau .cm-atom { color:green; }
.cm-s-tau .cm-variable { color:rgb(69, 69, 255); }
.cm-s-tau .cm-number { color: red !important; }
.cm-s-tau .cm-string { color: green !important; }
.cm-s-tau .cm-graphic { color: #b35e14 !important; }

/* Editor styling */

.cm-s-tau pre {
  padding:0;
}

.cm-s-tau .CodeMirror-gutters {
  border:none;
  border-right:10px solid transparent;
  background-color:transparent;
}

.cm-s-tau .CodeMirror-linenumber {
  padding:0;
  color:#888888;
}

.cm-s-tau .CodeMirror-guttermarker { color: #1d75b3; }
.cm-s-tau .CodeMirror-guttermarker-subtle { color: #e0e2e5; }

.cm-s-tau .CodeMirror-cursor {
  width: 2px;
  border: 0;
  background: rgba(0, 255, 17, 0.991);
  z-index: 1;
}

.CodeMirror pre.CodeMirror-placeholder {
	color: #bfbfbf;
}