/* highlighter.inc.php */

.hl-default    {color: Black;}
.hl-code       {color: Gray;}
.hl-brackets   {color: Olive;}
.hl-comment    {color: Orange;}
.hl-quotes     {color: Darkred;}
.hl-string     {color: Red;}
.hl-identifier {color: Blue;}
.hl-builtin    {color: Teal;}
.hl-reserved   {color: Green;}
.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 {
	margin: 0;
	padding: 0;
}

ol.hl-main {
	margin-left: 3em;
}

ol.hl-main li {
	margin: 0;
	padding: 0;
	list-style-type: decimal;
}