html, body {
height: 100%;
padding: 0px;
margin: 0px;
font: 12px/18px Arial, Tahoma, sans-serif;
}
#map { /* div you want to stretch */
min-height: 100%;
margin: 0px;
padding: 0px;
background: #fff url(loading.gif) no-repeat fixed center;
}
#map {
height: 100%;
}
#topleft {
  position:absolute;
  top: 20px;
  right:20px;
  background-color: white;
  width: 12em;
  border: 4px solid #CDD5F1;
  padding: 0.5em;
  }

h1 {
	font-size: 110%;
	margin: 0px;
	padding: 0px;
}

p {
	padding:0px;
	margin: 0px;
}

ul, li {
  margin: 0px;
  padding: 0px;
  list-style: none;
}