.verbatim 	{	font-family: Courier;
				font-weight: bold
				font-size: +2pt
			}
.comment 	{	font-style: italic
			}