/*
 * CSS definitions for GPS treasure hunter
 */
body {background: #e7c5d3;}
div#mymap {
    margin: auto; width: 90vw; height: 60vh; background: gray;
    border: 2px solid navy;
}