body
{
	font-size:120%;
}

#nav
{
	font-size:70%;
}

.navMargin
{
	margin-left:13px;
}

.pubresultAddress {
	height: 33px;
	margin-bottom: 9px;
}

.focusAddress {
	height: 33px;
	margin-bottom: 9px;
}

.titles {
	font-size: 90%;
}