<!--
	body {
		background-image:url(back.gif);
	
	}


	a:link, a:visited {
		text-decoration: none;
	}
	
	a:hover, a:active, a:focus {
		text-decoration: underline;
	}
	
	.definition {
		border-bottom: 1px dotted black;
	}

	input.cool, textarea, select {
		border-width:0px;
		width:400px;
		font-family:Tahoma;
	}
	
	h1, h2, h3, body, p {
		font-family:Tahoma;
	}
	
	h3 {
		margin-top:18pt;
		margin-bottom:6pt;
	}
	
	*.indexletter {
		margin-top: 32px;
		margin-bottom: 16px;
		font-size: 10pt;
		font-weight: bold;
		border-bottom: 1px solid black;
	}
	
	*.topref {
		font-size: 8pt;
		font-weight: normal;
		position: absolute;
		left: 530px;
	}
	
	*.small {
		font-size: 8pt;
	}
-->