/* Page Layout */

body {
   font-family: serif;
   font-size: 16px;
	 background-image: url("/buttons/backg2.jpg");
   background-repeat: repeat;
}

#main {
   margin: 5px 5px; 
   vlink: #004400; 
   link: #008800; 
   alink: #FF0000;
}
   
/* Elements */

img {
   max-width: 90%;
   height: auto;
   width: auto; /* ie 8 */
}

pict {
   height: auto;
   width: auto; /* ie 8 */
   border: 1px solid blue;
   display: block;
}

ul {
   list-style-type: square;
}
 
#menu { 
/*   position:absolute; */
   top: 60px; 
   left: 10px; 
   width: 180px; 
   top: 0;
   right: 0;
}
  
#prog { 
   font-family: monospace;
   font-size: 15px;
   white-space: pre; 
}
   
#text { 
   font-family: monospace;
   font-size: 11px;
   white-space: pre; 
}

#long { 
   font-family: monospace;
   font-size: 11px;
   white-space: nowrap; 
}

p,ul,ol { 
   font-family: serif; 
   margin-left: 20px; 
   margin-right: 20px;
   font-size: 16px;
}
tt {
   font-family: monospace; 
   font-size: 14px;
}

table {
   margin-left: 40px;
}

#fig {
   margin-left: 50px;
}
hr {   
  margin-left: 10px;
}
th,td { 
   font-family: serif; 
   margin-left: 5px; 
   margin-right: 5px;
   font-size: 15px;
}
#px {
   font-family: serif; 
   margin-top: -10px;
   margin-left: 75px;
   margin-bottom: 10px; 
   text-align: left;
   font-size: 14px;
}
#py {
   text-align: right;
   font-family: serif; 
   margin-top: -50px;
   margin-bottom: -20px;
   margin-right: 40px; 
   font-size: 16px;
}
#prebox {
   background-color:#EEEEEE;
   border: solid 1px;
   font-family: monospace;
   font-size: 12px;
   white-space: pre;
   text-align: left;
   margin-left: 20px;
   margin-right: 100px;
   padding-right: 20px;
   display: inline-block;
}

/* Responsive header  */

* {box-sizing: border-top;}

.header {
  font-family: Arial;
  overflow: hidden;
  padding: 20px 10px;
}
.header a {
  float: left;
  text-align: center;
  padding: 7px;
  font-size: 18px; 
  margin-bottom: -30px;
}
.header a.logo {
  padding: 1px;
  margin-top: -20px;
}
.header a.active {
  border-left-style: solid;
  border-left-color: green;
}
.header-left {
  margin-top: -30px;
  float: left;
}
.header-right {
  float: right;
}
.dropdown {
#    position: relative;
    display: inline-block;
}
.dropdown-content {
#    position: absolute;
    display: none;
    position: left;
    font-size: 10px; 
	z-index: 1;
}
.dropdown:hover .dropdown-content {
    display: block;
}
@media screen and (max-width: 200px) {
  .header a {
    float: none;
    display: block;
    text-align: left;
  }
  .header-right {
    float: none;
  }
}
   
/* Headlines */

h1 { 
   font-family: sans-serif; 
   color: #000069;
   margin-top: 50px;
   margin-left: 10px;
}
h2 { 
   font-family: sans-serif; 
   color: #000069;
   margin-top: 40px;
   margin-left: 10px;
/*   border-bottom: solid thin blue; */
}
h3 { 
   font-family: sans-serif; 
   color: #000069;
   margin-top: 40px;
   margin-left: 10px;
   border-bottom: solid thin blue;
}
h4,h5,h6 { 
   font-family: sans-serif; 
   color: #000069;
   margin-top: 20px;
   margin-left: 10px;
   text-decoration:underline; 
}

/* Links */

.a:link {
   color: #000088;
   text-decoration: underline;
   font-size: 12px; 
}
a:link {
   color: #000088;
   text-decoration: underline;
   }
a:visited { 
   color: #880000;
   text-decoration: none;
   }
a:hover {    
   color: #008800;
   text-decoration: none;
} 
a:focus {    
   color: #008800;
   text-decoration: none;
}

/* Footer */

#footer {
   margin: 50px 0px 0px 1px;
}
#footer ul {
   list-style: none;
   text-align: center;
}
#footer ul li {
   font-family: sans-serif;
   display: inline;
   color: #000069;
   padding: 0 0 0 20px;
}
#footer ul li:first-child { 
   padding: 0 0 0 0;
}

/* Hover tweaks */

.hoverinfo {
    position: relative;
    top: 1px;
    left: 5px;
    cursor: pointer;
}
.hoverinfo p {
    display: none;
    color: #ff0000;
}
.hoverinfo:hover p {
    border: 1px solid blue;
    width: 150px;
    padding: 2px;
    background-color: rgba(255, 255, 0, 0.7);
    display: block;
}