.disc 
	{ list-style-image: url("bullet1.gif"); 
	}
td.box1
	{
	border-style: solid;
	border-color: #000080;
	border-width: 1px;
	}
table.box1
	{
	border-style: solid;
	border-color: #000080;
	border-width: 1px;
	}
p.box1
	{
	border-style: double;
	border-color: #000080;
	border-width: 3px;
	}
p.box2
	{
	border-style: solid;
	border-color: #000080;
	border-width: 1px;
	}
p.box3
	{
	border-style: solid;
	border-color: #000000;
	border-width: 1px;
	}
p.anot
	{
	background-color: #FFFF00;
	font-family: arial, helvetica;
	font-size: 1.8em;
	}
A.menu:hover
	{
	font-style: italic
	}
font.project
	{
	font-family: verdana,arial,helvetica;
	}
.divide
	{
	border-bottom-color: #000080;
	border-bottom-style: dotted;
	border-bottom-width: 1px;
	}
div.manual
	{
	border-style: double;
	border-color: #FF66CC;
	border-width: 6px;
	font-family: verdana,arial,helvetica;
	font-size: 10pt;
	}