html, body {
	width: 100%;
	height: 100%;
}
html {
	overflow: hidden
}
h3 {
	font-size: 12px;
	font-weight: bold;
}
body {
	margin: 0px 0px 0px 0px;
	padding: 0px;
	background-color: #CCCCCC;
}
#map {
	margin-right: 170px;
	height: 100%
}
#rightpanel {
	position: absolute;
	right: 0px;
	top: 0px;
	width: 150px;
	height: 99%;
	overflow: auto;
	background-color: #CCCCCC;
	font-family: Arial, Helvetica, sans-serif;
	font-size: 11px;
	padding-right: 5px;
	padding-left: 10px;
}
.code {
	font-family: "Courier New", Courier, mono;
}
.style2 {
	font-family: "Courier New", Courier, mono;
	font-weight: bold;
}
.readonly {
	background-color: #CCCCCC;
}