#map {
        height: 95%;
      }
      #header {
        height: 5%;
      }
      #footer {
        height: 0%;
      }
		
	#header { font-family: Verdana, Tahoma; }
    #header { background-color:rgb(38,55,74); color:rgb(255,255,255); }
    #header { font-size:200%; }
    
    #footer { font-family: Verdana, Tahoma; }
    #footer { background-color:rgb(38,55,74); color:rgb(255,255,255); }
    #footer { font-size:100%; }
    
    #back { 
    	float:right;
    	width:12%
    }
    
    a { color: white; }
    
    #layer { font-family: Verdana, Tahoma; }
    #layer { background-color:rgb(38,55,74); color:rgb(255,255,255); }
    #layer { font-size:100%; }
      /* Optional: Makes the sample page fill the window. */
      html,
      body {
        height: 100%;
        margin: 0;
        padding: 0;
      }
      
      .button {
  border: none;
  color: white;
  padding: 4px 8px;
  text-align: center;
  text-decoration: none;
  display: inline-block;
  font-size: 16px;
  margin: 4px 2px;
  transition-duration: 0.4s;
  cursor: pointer;
}

.button1 {
  background-color: #4CAF50; 
  color: white; 
  border: 2px solid #4CAF50;
}

.button1:hover {
  background-color: white;
  color: black;
}

.button2 {
  background-color: #008CBA; 
  color: white; 
  border: 2px solid #008CBA;
}

.button2:hover {
  background-color: white;
  color: black;
}

.button3 {
  background-color: rgb(80,114,152); 
  color: white; 
  border: 2px solid white;
}

.button3:hover {
  background-color: white;
  color: black;
}

.box {
      width: 20%;
      height: 30px;
      border: 1px solid #999;
      font-size: 18px;
      color: white;
      background-color: #4CAF50;
      border-radius: 5px;
      box-shadow: 4px 4px #ccc;
      }
#legend {
    font-family: Arial, sans-serif;
    background: #fff;
    padding: 10px;
    margin: 10px;
    border: 3px solid #000;
  }
#loader {
    font-family: Arial, sans-serif;
    background: #fff;
    padding: 10px;
    margin: 10px;
    border: 3px solid #000;
  }