/* tau prolog theme for codemirror */

/* Color scheme */

.cm-s-tau.CodeMirror {
  background-color:transparent;
  color:#ffffff;
  line-height:1.4375;
}
.cm-s-tau .cm-comment { color:#bdbdbd; }
.cm-s-tau .cm-atom { color:#ca89ce; }
.cm-s-tau .cm-variable { color:#99ce89; }
.cm-s-tau .cm-number { color: #e89a9a !important; }
.cm-s-tau .cm-string { color: #89c7ce !important; }
.cm-s-tau .cm-graphic { color: #f3dc71 !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: #ffffff;
  z-index: 1;
}

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