/* These are ported from our own codemirror.css */

.highlight {
  color: #3c3c3c;
  font-size: 12px;
}
.highlight .hll {
  background-color: #ffffcc;
}

.highlight .c,  /* Comment */
.highlight .cm, /* Comment.Multiline */
.highlight .cp, /* Comment.Preproc */
.highlight .c1, /* Comment.Single */
.highlight .cs  /* Comment.Special */ {
  color: #999;
}

.highlight .err /* Error */ {
  color: #a40000;
  border: 1px solid #ef2929;
}

.highlight .na,  /* Name.Attribute */
.highlight .nc, /* Name.Class */
.highlight .nd, /* Name.Decorator */
.highlight .ni, /* Name.Entity */
.highlight .ne, /* Name.Exception */
.highlight .nf, /* Name.Function */
.highlight .nl, /* Name.Label */
.highlight .nn, /* Name.Namespace */
.highlight .nx, /* Name.Other */
.highlight .py, /* Name.Property */
.highlight .nv, /* Name.Variable */
.highlight .vc, /* Name.Variable.Class */
.highlight .vg, /* Name.Variable.Global */
.highlight .vi  /* Name.Variable.Instance */ {
  color: #2465ad;
}

.highlight .s,  /* Literal.String */
.highlight .sb, /* Literal.String.Backtick */
.highlight .sc, /* Literal.String.Char */
.highlight .s2, /* Literal.String.Double */
.highlight .se, /* Literal.String.Escape */
.highlight .sh, /* Literal.String.Heredoc */
.highlight .si, /* Literal.String.Interpol */
.highlight .sx, /* Literal.String.Other */
.highlight .sr, /* Literal.String.Regex */
.highlight .s1, /* Literal.String.Single */
.highlight .ss  /* Literal.String.Symbol */ {
  color: #388a26;
}

.highlight .k,  /* Keyword */
.highlight .kc, /* Keyword.Constant */
.highlight .kd, /* Keyword.Declaration */
.highlight .kn, /* Keyword.Namespace */
.highlight .kp, /* Keyword.Pseudo */
.highlight .kr, /* Keyword.Reserved */
.highlight .kt, /* Keyword.Type */
.highlight .nb, /* Name.Builtin */
.highlight .bp, /* Name.Builtin.Pseudo */
.highlight .nt, /* Name.Tag */
.highlight .no, /* Name.Constant */
.highlight .o,  /* Operator */
.highlight .ow, /* Operator.Word */
.highlight .mf, /* Literal.Number.Float */
.highlight .mh, /* Literal.Number.Hex */
.highlight .mi, /* Literal.Number.Integer */
.highlight .il, /* Literal.Number.Integer.Long */
.highlight .mo, /* Literal.Number.Oct */
.highlight .ld, /* Literal.Date */
.highlight .m   /* Literal.Number */ {
  color: #ca1655;
}

.highlight {
  position: relative;
}
