body
	{
	background-color: #FFFFFF;
	color: #000000;
	font-size: 12pt;
	}
	
.code
	{
	font-family: monospace;
	font-size: 12pt;
	color: darkblue;
	}
	
a
	{
	text-decoration: none;
	cursor: hand;
	}
	
a:hover
	{
	text-decoration: underline;
	cursor: pointer;
	}
	
.submenu
	{
	display: none;
	padding-left: 20px;
	margin-left: 0px;
	}
	
ul.menu
	{
	padding-left: 20px;
	margin-left: 0px;
	}
	
ul.indent
	{
	margin-left: 250px;
	padding-left: 0px;
	}
	
ul ul
	{
	padding-left: 20px;
	margin-left: 0px;
	}