/* The very basics: body default coloration, fonts, etc.
 * and the div layout for the 'map' and 'layers' divs which will become the
 * map and the layer-selector.
 */

BODY { background-color:#C0C0FF; color:#000000;
       font-family:Verdana,Arial,sans-serif; font-size:12pt;
     }

div#map {
   width:80%; height:80%;
   border-style:solid; border-width:2px;
}

div#layers {
   width:18%; height:80%;
}



/* Miscellaneous stylings: titles, subtitles, hyperlinks, etc.
 */
 
.header { margin-bottom: 1em; } 

.title { font-size:14pt; font-weight:bold; }

.return { margin-left: 2em; font-size: 10pt; font-weight: bold; }

.return a { text-decoration: none; }


/* Stylings pertaining to the layer selector
 */