\style{Colors}
color.mode&(integer)&Selects one of several color settings. \<0>^^:style
	file!vocabulary!\>{color.mode}:\cr 
\noalign{\medskip}
color.ordinary&(string)&Color of otherwise unspecified fields.
	\<"default">^^:style file!vocabulary!\>{color.ordinary}:\cr
color.program&(string)&Color of program name. \<"yellow">^^:style
	file!vocabulary!\>{color.program}:\cr 
color.info&(string)&Color of information messages. \<"green">^^:style
	file!vocabulary!\>{color.info}:\cr 
color.warning&(string)&Color of warning messages. \<"default">^^:style
	file!vocabulary!\>{color.warning}:\cr 
color.error&(string)&Color of error messages. \<"red">^^:style
	file!vocabulary!\>{color.error}:\cr 
color.fatal&(string)&Color of fatal messages. \<"red">^^:style
	file!vocabulary!\>{color.fatal}:\cr 
color.module\_num&(string)&Color of module numbers. \<"orange">^^:style
	file!vocabulary!\>{color.module\UL num}:\cr
color.line\_num&(string)&Color of line numbers. \<"orange">^^:style
	file!vocabulary!\>{color.line\UL num}:\cr
color.input\_file&(string)&Color of input file names. \<"yellow">^^:style
	file!vocabulary!\>{color.input\UL file}:\cr
color.include\_file&(string)&Color of include file names. \<"blue">^^:style
	file!vocabulary!\>{color.include\UL file}:\cr
color.output\_file&(string)&Color of output file names. \<"yellow">^^:style
	file!vocabulary!\>{color.output\UL file}:\cr
color.timing&(string)&Color of the timing information. \<"default">^^:style
	file!vocabulary!\>{color.timing}:\cr 
\noalign{\medskip}
color.default&(string)&Escape sequences for the default color.
	\<"me">^^:style file!vocabulary!\>{color.default}:\cr
color.red&(string)&As above, for red. \<"md mr">^^:style
	file!vocabulary!\>{color.red}:\cr 
color.green&(string)&As above, for green. \<"md">^^:style
	file!vocabulary!\>{color.green}:\cr 
color.blue&(string)&As above, for blue. \<"me">^^:style
	file!vocabulary!\>{color.blue}:\cr 
color.orange&(string)&As above, for orange. \<"me">^^:style
	file!vocabulary!\>{color.orange}:\cr 
color.yellow&(string)&As above, for yellow. \<"md">^^:style
	file!vocabulary!\>{color.yellow}:\cr 

