/* ----------------------------------------------------------- */
body {font-family: Times, serif;
		font-size: 10pt;
		background-color: #f0f0e0;
		color: #606000; }

p { text-align: justify; }

.defname { font-size: 18pt;
			font-weight: bold; }
			
/* ----------------------------------------------------------- */
/* Link specific settings */
a:link {
	text-decoration: none;
	color: #009060;
}
a:visited
{
	text-decoration: none;
	color: #009060;
}
a:active  {
	text-decoration: none;
	color: #009060;
}