/* Basics */
html, body, .page {
    height: 100%; /* needed for proper layout */
}
body {
    background: #000000;
    color: #ffffff;
    overflow: hidden;
    font-family: verdana, sans-serif;
    /*padding: 0 1em 0.5em 1em;*/
    margin: 0;
}
.page {
    display: flex;
    flex-direction: column;
}
.page-header {
    flex: 0 0 auto;
    background-color: #cccccc;
    color: #000000;
    padding: 0.5em 1em 0.5em 1em;
}
.page-content {
    flex: 1 1 auto;
    position: relative;/* need this to position inner content */
    overflow-y: auto;
}
.page-footer {
    flex: 0 0 auto;
    background-color: #dcdcdc;
    color: #000000;
}

#pageinfo {
    position: absolute;
    top: 5%;
    left: 5%;
    width: 90%;
    height: 10%;
}
.page-header ul {
    padding: 0;
    margin: 0;
}
.page-header li {
    display: inline;
    list-style-type: none;
    padding-right: 20px;
}
.page-header h1 {
    margin-top: 0;
    font-size: 1em;
}

h1, h2, h3, h4, h5, h6 { 
    margin-bottom: 0.2em; 
    clear: both;
}
h1 { color: #32611F }
h2, h3, h4, h5, h6 	{ color: #1F3D14; }
p {
    margin-top: 0px;
    margin-bottom: 1em;
}

ul 	{ margin-top: 0px; }
code 	{ color: #900; }
q 		{ font-style: italic; }

a:link 		{ color: #33f; }
a:visited 	{ color: #808; }
a:active 	{ color: #f00; }

.copyright {
    font-size: x-small;
    color: #666;
}

#zoom-display {
    position: relative;
    height: 900px;
    border: 1px solid black;
    overflow: hidden;
}

#infobox {
    width: 0px; height: 0px;
    left: 10px;
    top: 100px;
    position: absolute;
    z-index: 10;
    pointer-events: none;
    overflow: hidden;
    visibility: hidden;

    border: 3px solid red;
}

#header {
    left: 0;
    top: 0;
    width: 20em;
    height: 1.2em;
    position: absolute;
    z-index: 9;
    
    background: #FFFFFF;
    color: #000000;
    opacity: 0.9;
    text-align: center;
    visibility: hidden;
    pointer-events: all;
    
    padding: 0.2em 0.5em 0.2em 0.5em;
    border-top: 3px solid red;
    border-right: 3px solid red;
    border-left: 3px solid red;
    border-top-left-radius: 10px;
    border-top-right-radius: 10px;
}

#footer {
    left: 0;
    top: 0;
    width: 20em;
    position: absolute;
    z-index: 9;
    
    background: #FFFFFF;
    color: #000000;
    opacity: 0.9;
    pointer-events: none;
    overflow: hidden;
    visibility: hidden;
    pointer-events: none;
    
    padding: 0.5em 1em 0.5em 1em;
    border-right: 3px solid red;
    border-bottom: 3px solid red;
    border-left: 3px solid red;
    border-bottom-left-radius: 10px;
    border-bottom-right-radius: 10px;
}