/* SimpleCSS2016 stylesheet used since 2016*/
/* runeman.org */
/* Free to reuse - Sharing is GOOD. */

body { background-color: #eee; 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;
}
pre { background-color:#fdf;
  padding: 1.5em;
}
.bem {
  font-weight:bold;
  font-style:italic;
}
.here { /* for breadcrumbs AKA crumbs */
  padding: 2px;
  background-color: #cccccc;
}
.ctr {
    text-align: center;
}
.marginal {
  float:right;
  width:25%;
  margin-left: 10px;
  background-color:aqua;
  font-family: "DejaVu Sans", Helvetica, FreeSans, Geneva, Arial, sans-serif;
  padding:1em;
  border: solid black 2px;

}  
.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;
}
.pre {
  background-color:#fdf;
  font-family: "DejaVu Sans", Helvetica, FreeSans, Geneva, Arial, sans-serif;
  font-size: 0.8em;
}

p.com {
  background-color:#faf;
  padding:.5em;
  border-bottom: 1px solid;
  border-right: 1px solid;
}
p.min {
  background-color:#000080;
  padding:.5em;
  color:white;
  font-family:"DejaVu Sans", Helvetica, FreeSans, Geneva, Arial, sans-serif;
  font-size:.7em;
}
a.min {
  color:yellow;
}

/* dmenu styles added 2023-03-14 */
.dmenu {
    font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
    font-weight: normal;
    float:left;
    padding: 8px;
    background-color: #eeeeee;*/
    border: none;
    border-right: 1px solid black; /* provides a clean separation for the menu choices - replaces bullets */
    cursor: pointer;
    color: black;
    list-style-type: none; /* removes the triangle details marker */
    text-decoration: none; /* prevents Home, misc, about from having underline*/
  }
  .dmenu a {
    line-height: 1.5;

    }
  .dsum {
    /*background-color: #eeeeee;*/
    font-weight: normal;
    border: none;
    cursor: pointer;
    color: black;
    list-style-type: none;
    text-decoration: none;
  }
/* breadcrumbs added 2023-03-06 */
#crumbs {
   font-family: sans-serif;
   font-size: 80%;
}
#crumbs span {
  padding: 2px;
  background-color: #cccccc;
}
#main {
  /*old width:68%; */ 
  width:90%;
  margin-left:3%;
  margin-right:3%;
  border-top: 10px solid #000080;
  color:#000;
  background:#fff;
  padding:20px;
  box-shadow: 1px 1px 2px 2px #cccccc;
}
/* Footer goes outside the main div. Check the style of each file for double application of width and margin*/
#footer {
  width:92.1%;
  margin-left:3%;
    box-shadow: 1px 1px 2px 2px #cccccc;
  text-align:center;
  clear:both;
  font-family: "Droid Sans", Helvetica, Arial, sans-serif;
  font-size:80%;
  color:#fff;
  background:#000080;

  padding:.5em;
}

#license {
  font-family: "Droid Sans", Helvetica, Arial, sans-serif;
  font-size:80%
}
/*Horizontal pull-down menu*/
/*Strip the ul of padding and list styling*/
#header-sm {
  width:93%;
  margin-left:3%;
  background-color:#000080;
  color:white;
  box-shadow: 1px 1px 2px 2px #cccccc;
}
#nav {
  width:90%;
  margin-left:3%;
  margin-right:3%;
 /* font-size:110%; */
}
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: 25px;
    text-align: center;
    line-height: 25px;
    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 black menu dropdown links */
li.menu:hover ul a {
    background: #f3f3f3;
    color: #2f3036;
    height: 25px;
    line-height: 25px;
}
/*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;
    margin-left:-40px; /* fixes jumping menu dropdowns - 2017-12-28 */
}
/*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;
}