body, html{
	margin: 0;
	padding: 0;
	height: 100%;
}
#upper_small {
	background-color: green;
	margin: 10;
	padding: 10;
	width: 100%;
	/* Height is dynamic depending on the layout */
}
#upper_configuration {
	background-color: blue;
	margin: 10;
	padding: 10;
	width: 100%;
}
#map {
	margin: 10;
	padding: 10;
/*	height: 90%;  */
	width: 100%;
	/* Height is dynamic depending on the other divs */
}
/*
#lower {
	margin: 10;
	padding: 10;
	height: 10%;
	width: 100%;
}
*/