body {
	padding: 0;
	margin: 0;
}
html, body, #map {
	height: 100%;
	width: 100%;
	padding: 0;
	margin: 0;
}
th {
	text-align: left;
	vertical-align: top;
}
.info {
	padding: 6px 8px;
	font: 14px/16px Arial, Helvetica, sans-serif;
	background: white;
	background: rgba(255,255,255,0.8);
	box-shadow: 0 0 15px rgba(0,0,0,0.2);
	border-radius: 5px;
}
.info h2 {
	margin: 0 0 5px;
	color: #777;
}
.leaflet-container {
	background: #fff;}

/* Kopfleiste ("Zur Kartenuebersicht | Startseite") + Karte zusammen genau
   bildschirmhoch - vorher war die Seite um die Hoehe der Leiste zu lang und
   liess sich (auf Touch-Geraeten stoerend) ein Stueck scrollen. */
body {
	display: flex;
	flex-direction: column;
}
#map {
	flex: 1 1 auto;
	height: auto;
	min-height: 0;
}

/* Smartphones */
@media screen and (max-width: 700px) {
	body > div:first-child {
		padding: 10px 14px !important;
		font-size: 14px !important;
		line-height: 1.5;
	}
	.leaflet-control-layers-expanded {
		padding: 6px 10px 6px 8px;
		font-size: 13px;
		max-width: 72vw;
	}
	.leaflet-control-layers input {
		accent-color: #e74247;
	}
	.leaflet-control-attribution {
		font-size: 9px;
		line-height: 1.35;
	}
	/* Massstab nicht von der Quellenangabe verdecken lassen */
	.leaflet-bottom.leaflet-left {
		bottom: 30px;
	}
}