/* CSS definition file generated by highlight 2.0-22, http://www.andre-simon.de/ */

/* Highlighting theme definition: */

	/* Used abbreviations: */
	/* key:  Keywords */
	/* typ:  Types and type modifiers */
	/* str:  Strings */
	/* num:  Numbers */
	/* com:  Comments */
	/* esc:  Escape characters */
	/* dir:  Directive lines */
	/* dstr: Strings within directive lines */
	/* sym:  Symbols */
	/* line: Line numbers */

 pre     { color:#000000; background-color:#ffffff; font-size:10pt; font-family:Courier;}
 .key    { color:#000000; font-weight:bold; }
 .num    { color:#2928ff; }
 .typ    { color:#830000; }
 .esc    { color:#ff00ff; }
 .str    { color:#ff0000; }
 .dstr   { color:#818100; }
 .com    { color:#838183; font-style:italic; }
 .dir    { color:#008200; }
 .sym    { color:#000000; }
 .line   { color:#555555; }