body		{font-size:smaller;}
td		{font-size:smaller;}
tt		{font-size:90%;}
a		{color:#0000FF;text-decoration:none;}
a:link		{color:#001080;text-decoration:none;}
a:visited	{color:#001080;text-decoration:none;}
A:hover		{color:#FF0000;text-decoration:underline;}
.redbold	{color: #ff8080;font-weight:bold;}
.bold		{font-weight:bold;}