<!--
		body, table {font-size: large;}
		table {border: 1px solid #000000; border-collapse: collapse;}
		td, th {border: 1px solid #000000;}
		pre	{background: #e0e0e0; color: blue; margin-left: 10%; width: 80%}
		pre.exercise	{background: #202020; color:yellow; margin-left:10%; width: 80%}
		pre.output	{background: #000000; color:#b0b0b0; margin-left:10%; width:80%}
		tr.past {background: #c0c0c0}
		code  {font-weight: bold; color: green}
		span.def {font-weight: bold; color: purple}
		span.text {color: blue; background: #f0f0f0}
		span.incomplete {font-weight: bold; color:red; background: yellow}
		span.program-ref {font-weight: bold; font-family: Courier}
		span.lab {font-weight: bold; color:red; background: #ffffff}
		span.important {font-weight: bold; color:red; background: #ffffff}
		span.vital {font-weight: bold; color:red; background: #ffffff}
		span.standout {font-size: larger}	
		span.tangent {color: gray}
		span.codelab {font-weight: bold; color: #006600}
		span.error {color: red;}
		span.wiki {background: #eeeeee}
		span.pseudo {font-style: italic; color: #CC0099}
		h4 {font-weight: bold}
		div.optional {background: #cccccc; color: #666666}
		div.added {background: #00ffff}
		div.boxed  {border: thin solid}
		div.exercise {border: thin solid; width:90%; background: #eeeeee}
		div.important {border: thin solid; width:90%; color:red; background: #eeeeee}
		div.text {color: blue; background: #f0f0f0}
		div.rule {color: #0000ff; background:#eeeeee; border: thin solid; margin-left: 10%; margin-right: 10%}
		h3.shaded {background: #f0f0f0}
		.centered {text-align: center; color: #000011;}
		pre em {color: #ff0000; font-style: normal}
		li.pro {color:#008800}
		li.con {color:#ff0000}
-->