/* 
 * Always set the map height explicitly to define the size of the div element
 * that contains the map. 
 */
#map {
  position: absolute;
  top: 0;
  left: 0;
  z-index: 99;
  height: 100%;
  width: 100%;
}

/* 
 * Optional: Makes the sample page fill the window. 
 */
html,
body {
  height: 100%;
  margin: 0;
  padding: 0;
}

* {
  box-sizing: border-box;
}

p.small {
  font-size: x-small;
}

a:link,
a:visited {
  color: #447e9b;
  text-decoration: none;
  background: url(/static/vl_external.svg) center right no-repeat;
  padding-right: 13px;
}

a:focus,
a:hover {
  color: #036;
}

a:focus {
  text-decoration: underline;
}

a img {
  border: none;
}

a.external {
  background: url(/static/vl_external.svg) center right no-repeat;
  padding-right: 13px;
}

ul#results {
  padding: 0;
  margin-bottom: 20px;
}

.search {
  width: 400px;
  height: 40px;
}

#searchTextField {
  margin: 10px;
  padding: 5px 10px;
  border: 1px solid rgba(0, 0, 0, 0.3);
  border-radius: 4px;
  font-size: large;
  outline: none;
}

#searchTextField:focus {
  border-color: #08f;
}

#results {
  margin-top: 10px;
  background-color: white;
  width: 100%;
  height: auto;
  display: flex;
  flex-direction: column;
  box-shadow: 0 4px 6px -1px rgb(0 0 0 / 0.1), 0 2px 4px -2px rgb(0 0 0 / 0.1);
  border-radius: 4px;
  font-family: Arial, Helvetica, sans-serif;
}

#results:not(:empty) {
  border: 1px solid rgba(0, 0, 0, 0.3);
}

.resultbox {
  cursor: pointer;
  width: 100%;
  height: auto;
  display: flex;
  padding: 10px;
  gap: 5px;
  flex-direction: column;
}

.resultbox:hover {
  background-color: rgba(0, 0, 0, 0.1);
}

.resultbox:not(:last-child) {
  border-bottom: 1px solid rgba(0, 0, 0, 0.1);
}

.resultbox .title {
  font-size: 14pt;
}

.resultbox .description {
  font-size: 10pt;
  opacity: 0.5;
}
.filter {
  z-index: 999;
  position: absolute;
  top: 50px;
  left: 10px;
  width: max-content;
  height: max-content;
  background-color: white;
  border-radius: 8px;
  border: 1px solid rgba(0,0,0,0.1);
  padding: 20px;
  font-family: Arial, Helvetica, sans-serif;
}
.filter_title {
  font-weight: 700;
}