/* html, body, pre, a, #map {{{1 */
html {
  scroll-behavior: smooth;
}
html,
body {
  font-family: monospace;
  height: 100%;
  margin: 0;
  padding: 0;
}

h1, p, pre {
  padding: 5px;
}

pre:hover {
  text-decoration: none;
  background: #cdfeaa;
}

a {
  outline-color: transparent;
}

a:link {
  color: #6900ff;
}

a:visited {
  color: #a5c300;
}

a:focus {
  text-decoration: none;
  background: #bae498;
}

a:hover {
  text-decoration: none;
  background: #cdfeaa;
}

a:active {
  background: #6900ff;
  color: #cdfeaa;
}

#map {
  height: 100%;
  margin: 0;
  padding: 0;
}