/* Colors for code highlighting */
.hl-default, .hl-code, .hl-brackets, .hl-quotes {
	color: #000;
}
.hl-comment, .hl-inlinedoc {
	color: #0A0;
}
.hl-string, .hl-number {
	color: #C00;
}
.hl-identifier, .hl-var {
	color: #00C;
}
.hl-builtin {
	color: #0AA;
}
.hl-reserved {
	color: #B0B;
}
.hl-url {
	color: #00F;
	text-decoration: underline;
}
.hl-special, .hl-inlinetags {
	color: #469;
}

/* For currently unused table layout mode

.hl-gutter {
    background-color: #999999;
    color: White
}
.hl-table {
    font-family: courier;
    font-size: 12px;
    border: solid 1px Lightgrey;
}

*/