/*
 * CSS definitions for GPS treasure hunter
 */
body {background: #dfd;}
div#mymap {
    margin: auto; width: 90vw; height: 60vh; background: gray;
    border: 2px solid navy;
}
p.infoholder {font-size: x-large;}
span#info {background: white; min-width: 20em;}
button {padding: 1ex 2em;}
button.running {background: #ebb;}
.hidden {display: none;}

.XXleaflet-marker-icon {background: red;}
:root {--icon-bg-color: red; --rotation: 0.7rad;}

#arrowicon {
    xbackground: var(--icon-bg-color);
    transform: rotate(var(--rotation));
}
p.copyright {
    text-align: right; font-size: 60%;
}