h1	{ color : #0000c0; font-size : 140%; margin-bottom : 2ex }
h2	{ color : #0000c0; font-size : 120%; margin-bottom : 1ex; margin-top : 3ex }
h3	{ color : #0000c0; font-size : 110%; margin-bottom : 1ex; margin-top : 2ex }

ul	{ margin-top : 1ex; margin-bottom : 1ex; padding : 0pt }
li	{ margin-top : 1ex; margin-bottom : 2pt; padding : 0pt }

#caption{ color : #c00000; font-weight : bold; font-size : 120% }
#func	{ color : #0000c0; font-weight : bold }
#syntax	{ color : #0000a0; font-weight : bold; font-family: 'Courier New','monospace' }
#tag	{ color : #800000; font-weight : bold; font-family: 'Courier New','monospace' }
#file	{ font-weight : bold;font-family: 'Courier New','Courier' }
#tt	{ font-weight : bold;font-family: 'Courier New','Courier' }

#var	{ color : #0000c0; font-weight : bold }
#prog	{ color : #c00000; font-weight : bold }
#name	{ color : #0000c0; font-weight : bold }
#mark	{ color : #000080; font-weight : bold }
#cmd	{ color : #800000; font-weight : bold }
#parm	{ color : #000080 }
#links	{ background-color : #d0d0ff; color : #000000; line-height: 110% }

#white	{ background-color : #e0e0e0; font-weight : bold }
#red	{ background-color : #ffc0c0; font-weight : bold }
#green	{ background-color : #c0ffc0; font-weight : bold }
#blue	{ background-color : #c0c0ff; font-weight : bold }
#cyan	{ background-color : #80ffff; font-weight : bold }
#yellow	{ background-color : #ffff80; font-weight : bold }

#info	{ background-color : #c0c0ff; color : #000000;
	  padding : 8; border-width : 2 }
#warn	{ background-color : #ffc0c0; color : #000000;
	  padding : 8; border-width : 2 }
#debug	{ background-color : #ff8000; color : #000000;
	  padding : 2; border-width : 2 }