.hl-default {
color : black;
}
.hl-code {
color : gray;
}
.hl-brackets {
color : olive;
}
.hl-comment {
color : orange;
}
.hl-string {
color : red;
}
.hl-identifier {
color : blue;
}
.hl-builtin {
color : teal;
}
.hl-reserved {
color : green;
}
.hl-inlinedoc {
color : blue;
}
.hl-url {
color : blue;
}
.hl-special {
color : navy;
}
.hl-number {
color : maroon;
}
.hl-inlinetags {
color : blue;
}
.hl-main {
background-color : white;
}
.hl-gutter {
background-color : #999999;
color : white;
}
.hl-table {
font-family : courier;
font-size : 12px;
}