#page { 
	position: absolute;
	display: block;
	top: 0px;
	left: 0px;
	height: 100%;
	width: 100%;
}
#co {
	position: relative;
}
#map {
	position: relative;
	top: 0px;
	height: 492px;
	margin-left: 4px;
	margin-right: 290px;
	margin-bottom: 4px;
	border: 1px solid rgb(80,80,80);
}
#rhs {
	position: absolute;
	right: 4px;
	top: 81px;
	width: 280px;
	height: 492px;
	margin-left: 4px;
	margin-bottom: 4px;
	height: 492px;
	background-color: white;
	border: 1px solid rgb(80,80,80);
}
#rhs DIV.shell { /* solve FF height/width expansion */
	margin: 0 0 0 0;
	padding: 4px;
}DIV {
	font-family: Verdana,Helvetica,sans-serif;
}
.poi {
	font-weight: bold;
}
.specs {
	font-size: 75%;
	width: 22em;
}