/* Style2016c stylesheet used as style2016.css*/
/* runeman.org */
/* Free to reuse - Sharing is GOOD. */

body { background-color: #000080; background-image: url('http://runeman.org/images-std/graph.gif');}

h1, h2, h3, h4 { font-family: "DejaVu Sans", Helvetica, FreeSans, Geneva, Arial, sans-serif;
}

h2 { color: #999;
}
/* Adding the a and details style to simple2016.css and style2016.css should improve the menu2023.js everywhere*/
details {
    font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
  }
a {
    font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
}
/* bold and emphasized text mainly used in span elements */
.bem {
  font-weight:bold;
  font-style:italic;
}
/* Notes are floated right */
.note {
  background-color:#fcfcfc;
  font-family: "DejaVu Sans", Helvetica, FreeSans, Geneva, Arial, sans-serif;
  padding:1em;
  float:right;
  border: solid black 2px;
}
.note:first-line {
  font-size: 110%;
  font-weight: bold;
  font-style: italic;
}
/* Preformatted text (for code) has gray background */
.pre {
  background-color:#fdf;
  font-family: "DejaVu Sans", Helvetica, FreeSans, Geneva, Arial, sans-serif;
  font-size: 0.8em;
}
pre { background-color:#fdf;
  padding: 1.5em;
}
p.com { /* comment style for paragraph */
  background-color:#faf;
  padding:.5em;
  border-bottom: 1px solid;
  border-right: 1px solid;
}
p.min { /* mini text style for  */
  background-color:#800080;
  padding:.5em;
  color:white;
  font-family:"DejaVu Sans", Helvetica, FreeSans, Geneva, Arial, sans-serif;
  font-size:.7em;
}
/* When an address is in a min paragraph, make it yellow */
a.min {
  color:yellow;
}
/* Single-use element stylings */
#page {
 margin:0 auto;
}
#nav {
  margin: 0 auto;
 /* width: 95%;*/
  font-family: "Droid Sans", Helvetica, Arial, sans-serif;
  font-size: 80%;
  text-align: center;
  background-color: #000080;
}
#header {
  margin: 0 auto;
  /*width: 95%;*/
  background-color: #000080;
  color: #fff;
  padding:.1em;
}
#main {
margin: 0 auto;
  /*old width:68%; */ 
  /*width:90%;*/
  /*margin-left:3%;
  margin-right:3%; */
  border-top: 10px solid #000080;
  color:#000;
  background:#fff;
  padding:20px;
}

#footer {
  text-align:center;
  clear:both;
  width:100%;
  font-family: "Droid Sans", Helvetica, Arial, sans-serif;
  font-size:80%;
  color:#fff;
  background:#000080;
  /*margin: .2em auto;*/
  padding:.2em;
}

#license {
  font-family: "Droid Sans", Helvetica, Arial, sans-serif;
  font-size:80%
}
/*Strip the ul of padding and list styling*/
ul.menu {
    list-style-type:none;
    margin:0;
    padding:0;
    position: absolute;
}
/*Create a horizontal list with spacing*/
li.menu {
    display:inline-block;
    float: left;
    margin-right: 1px;
}
/*Style for menu links*/
li.menu a {
    display:block;
    min-width:110px;
    height: 30px;
    text-align: center;
    line-height: 30px;
    font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
    color: #fff;
    background: #2f3036;
    text-decoration: none;
}
/*Hover state for top level links*/
li.menu:hover a {
    background: #19c589;
}
/*Style for dropdown links*/
li.menu:hover ul a {
    background: #f3f3f3;
    color: #2f3036;
    height: 30px;
    line-height: 30px;
}
/*Hover state for dropdown links*/
li.menu:hover ul a:hover {
    background: #19c589;
    color: #fff;
}
/*Hide dropdown links until they are needed*/
li.menu ul {
display: none;
}
/*Make dropdown links vertical*/
li.menu ul li {
    display: block;
    float: none;
}
/*Prevent text wrapping*/
li.menu ul li a {
    width: auto;
    min-width: 100px;
    padding: 0 20px;
    text-align:left;
}
/*Display the dropdown on hover*/
ul.menu li a:hover + .hidden, .hidden:hover {
    display: block;
}