body	{background-color: #C0C0C0;
	color: #000000;
	font-family: verdana;
	font-size: x-small;}

td	{font-size: x-small;}

pre	{font-size: 10pt;}

a:link		{color: #A000A0;}
a:visited	{color: #A040A0;}
a:active	{color: #FF0000;}
a:hover		{color: #00A0A0;}

.subheading	{font-size: medium;}

.largetext	{font-size: large;}

.commentary	{color: #FF0000;}

.indented	{margin-left: 40;}

.t_1		{background-color: #604095;}

.t_title	{background-color: #6545B0;}