html {
   height: 100%;
}

body {
   height: 100%;
   margin: 0px;
}

div#controlbar {
   margin: 0px;
   padding: 0px;
}

div#optionscontrol {
   float: right;
   margin: 0px;
   padding: 0px;
   padding-right: 2em;
}

div#controlpanel {
   display: none;
   position: absolute;
   z-index: 100;
   width: 100%;
   background-color: #F0F0F0;
   border-style: solid;
   border-width: 1px;
}

div#options {   
   position: absolute;
   left: 0px;; top: 0px;
   float: left;
   padding-left: 1em;
   max-width: 30%;
}
div#credits {
   position: absolute;
   left: 40%; top: 0px;
   margin-top: 0.5em;
   padding-left:  3em;
   padding-right: 2em;
   overflow: auto;
   max-height: 9em;
}
/*We have to set an explicit position so absolute positioned ticks are relative to this container*/
div#targetgrid {   
   position: relative;
   left: 0px;
   top: 0px;
   width: 100%;
   height: 60%;
   margin: 0px;
   padding: 0px;
   background-color: #3333AA;
   overflow: auto;
   text-align: center;
}

/*We have to set an explicit position so absolute positioned ticks are relative to this container */
div#sourcegrid {
   position: relative;
   left: 0px;
   top: 0px;
   width: 100%;
   height: 30%;
   margin: 0px;
   padding: 0px;
   overflow: auto;
   text-align: center;
}

h3 {
padding: 0px;
margin: 0px;
padding-top: 0.1em;
padding-left: 0.5em;
padding-bottom: 0.1em;
}