.hl-default {
    color: Black;
}

.hl-code {
}
.hl-brackets {
    color: black;
}
.hl-comment {
    color: black;;
}
.hl-quotes {
    color: Darkred;
}
.hl-string {
    color: maroon;
}
.hl-identifier {
    color: darkslateblue;
}
.hl-builtin {
    color: Teal;
}
.hl-reserved {
    color: black;
    color: purple;
}
.hl-inlinedoc {
    color: Blue;
}
.hl-var {
    color: Darkblue;
}
.hl-url {
    color: Blue;
}
.hl-special {
    color: Navy;
}
.hl-number {
    color: Maroon;
}
.hl-inlinetags {
    color: Blue;
}
.hl-main { 
    border-left: dashed 1px black;
    font-family: courier;
    font-size: 12px;
}
.hl-main li {
    white-space: pre;
    margin-left: .5em;
}