/* Jupyter widget styles */
.leaflet-container {
  position: relative;
}

.leaflet-container {
  height: 100%;
}

.leaflet-tile-container {
  position: absolute;
  left: 0;
  top: 0;
}

div[data-mime-type="application/vnd.jupyter.stderr"] > pre {
  background-color: #fecaca !important;
  border: 1px solid #f87171;
  font-size: calc(1em - 2px);
  font-family: monospace;
  padding: 0.5em;
  border-radius: 0.25em;
}