/* Light mode */

/* Panel/body settings */

body.jscoq-main {
  background: #e4e4e4;
}

body.jscoq-main #document {
  background: #fff;
}

.jscoq-theme-light#panel-wrapper,
.jscoq-theme-light #panel-wrapper {
  background: #fff;
  color: #000;
  border-left: 1px solid #999;
}

.jscoq-theme-light .flex-panel {
  border-top: 1px solid #9f9f9f;
}

.jscoq-theme-light .flex-panel > .caption {
  background: #c4c4c4;
}

.jscoq-theme-light #vsep,
.jscoq-theme-light #hsep {
  background: #ddd;
}

.jscoq-theme-light a,
.jscoq-theme-light a:link,
.jscoq-theme-light a:visited,
.jscoq-theme-light a:active {
  color: #22f;
}

.jscoq-theme-light a:hover {
  color: #5af;
}

.jscoq-theme-light #toolbar {
  border-bottom: 1px solid #999;
}

.jscoq-theme-light #goal-panel p.system {
  color: #555;
}

/* Coq settings */

.coq-eval-ok {
  background: #ddd;
}

.coq-eval-ok.coq-highlight {
  background: #ebeebd;
}
  
.coq-eval-pending {
    background: #fc6;
}

.coq-eval-failed {
    background: rgba(255, 00, 50, 0.4);
}

.coq-eval-ok.CodeMirror-selectedtext,
.coq-eval-pending.CodeMirror-selectedtext,
.coq-eval-failed.CodeMirror-selectedtext {
    background: none;
}

.coq-eval-ok.coq-highlight.CodeMirror-selectedtext {
    background: #bbe; 
}


/* Normal theme settings */

.CodeMirror.cm-s-default {
    background: #f1f1f1;
}

.cm-s-default .CodeMirror-dialog {
  border-bottom: 1px solid #bbb;
  box-shadow: 0px 1px 5px 0px #00000059;
}

.cm-s-default .CodeMirror-dialog a.dialog-link {
  color: #22f;
}

.cm-s-default .CodeMirror-dialog a.dialog-link:active {
  color: #228;
}

/* Vernaculars */
.cm-builtin {
  color: #00FFFF;
}

.cm-comment {
  color: #a50;
}

.cm-variable {
  color: #000;
}

.cm-operator {
  color: #000;
}

/* Tactics */
.cm-keyword {
  color: #98FB98;
}

.cm-tactic {
  color: #0011FF;
}

.cm-terminator {
  color: #FF0000;
}

.cm-s-default .cm-bullet,
.cm-s-default .cm-brace,
.cm-s-default .cm-bracket {
  /* background: bisque; */
  color: red;
}

.cm-s-default .cm-coq-bullet {
  color: #448252;
  font-weight: bold;
}

.cm-s-default .cm-coq-focus {
  color: #777;
}

.CodeMirror span.CodeMirror-matchingbracket {
  color: #939 !important;
  outline: 1px solid rgba(200, 0, 0, 0.3);
  outline-offset: -1px;
  text-shadow: 0 -1px #939;
}

/*  */
.cm-statementend {
  /* background: #6C64FE; */
}

/* Pretty-print tags generated by coq */
.constr\.evar {
    color: #2002f0;
}
.constr\.keyword {
    color: #11aeea;
}
.constr\.notation {
    color: #bb2222;
}
.constr\.path {
    color: #0e8709;
}
.constr\.reference {
    color: #1433cc;
}
.constr\.type {
    color: #aabb22;
}
.constr\.variable {
    color: #123456;
}
.module\.definition {
    color: #222ddd;
}
.module\.keyword {
    color: #654321;
}
.tactic\.keyword {
    color: #432165;
}
.tactic\.primitive {
    color: #333333;
}
.tactic\.string {
    color: #99ff99;
}

.constr\.reference:hover,
.constr\.type:hover,
.constr\.variable:hover,
.constr\.notation:hover {
    background: rgba(0,100,0,0.15);
    cursor: default;
}

.contextual-focus {
    background: rgba(80,100,0,0.15);
}

.contextual-info .message {
    color: #888;
}