/* information page styles */

h3
{
	color: #606060;
	margin-bottom: 0;
	border-bottom: dotted 1px #606060;
}

h4
{
	font-size: 12pt;
	color: #606060;
	margin: 1em 12px 0 12px;
}

p
{
	margin: 0.4em 12px 0 12px;
}

p.hilight{
	font-size: 12pt;
	color: darkblue;
	margin-top: 1em;
	margin-bottom: 1em;
}

table.plain
{
	font-style: Arial;
	font-size: 10pt;
	margin-left: 12px;
}

dl
{
	margin-left: 12px;
	margin-top: 1em;
}

dt
{
	font-weight: bold;
}

dd
{
	margin-bottom: 0.2em;
}