/* Syntax highlighting */

pre.highlight {
    color:#000000;
    background-color:#e0eaee;
    font-size:10pt;
    font-family:'Courier New',monospace;
    white-space: pre-wrap;
}

.highlight.num { color: black; }
.highlight.esc { color: #ff00ff; }
.highlight.sng { color: #bf0303; }
.highlight.pps { color: #818100; }
.highlight.slc { color: #838183; font-style:italic; }
.highlight.com { color: #838183; font-style:italic; }
.highlight.ppc { color: #008200; }
.highlight.opt { color: #000000; }
.highlight.ipl { color: red; }
.highlight.lin { color: #555555; user-select: none; }
.highlight.hvr { cursor: help; }
.highlight.erm { color: #ff0000; font-weight:bold; border:solid 1px red; margin-left: 3em; }
.highlight.err { color: #ff0000; font-weight:bold; }


.highlight.kwa { color: var(--mauve); font-weight:bold; }
.highlight.kwb { color: var(--blue); }
.highlight.kwc { color: var(--red); }
.highlight.kwd { color:black; }
.highlight.kwe { color:black; }
.highlight.kwf { color:black; }