/* Regular elements */

td, p {
font-family: times new roman;
color: #000000;
}

body {
  background: white;
  color: #000000;
  font-family: times new roman;
  font-weight: normal;
  font-size: medium;
  min-width: 500px;
  max-width: 950px;
  margin-left: 3%;
  margin-right: 12%;
}

a:link {
color: #0050fa;
}

a:visited {
color: #1188ff;
}

.code {
margin-left: 30px;
margin-right: 30px;
background-color: #d0d0d0;
color: #000000;
}

/* the navigation choices at the bottom of the page. */

div#nav {
color: #000000;
float: left;
font-family: times new roman;
font-size: 0.75em;
margin: 1em 0 0 1em;
padding: 0;
position: fixed;
text-align: left;
width: 10em;
}

div#nav a {
background-color: #185FDD;
border: 1px solid;
border-color: #185FDD;
display: block;
padding: 0.2em 0.5em 0.2em 0.5em ;
text-decoration: none;
color: white;
}

div#nav a:hover {
background-color: #99CDFF;
color: black;
}

div#nav div#currentnav {
background-color: #99CDFF;
border: solid;
border-left-width: 1px;
border-top-width: 1px;
border-bottom-width: 1px;
border-right-width: 0px;
border-color: #185FDD;
display: block;
padding: 0.2em 0.5em 0.2em 0.5em ;
text-align: right;
}

div#nav div#subnav {
background-color: #99CDFF;
border: solid;
border-left-width: 1px;
border-top-width: 1px;
border-bottom-width: 1px;
border-right-width: 0px;
border-color: #99CDFF;
display: block;
padding: 0.2em 0.5em 0.2em 0.5em ;
text-align: right;
}



/* the page content */

div#content {
  position: relative;
  left: 11em;
  width: 80%;
}

div.section {
  clear: both;
}

/* For all page footers */
div#footer {
clear: both;
font-size: x-small;
text-align: left;
color: #606060;
}

/* the title bar */

div#title {
width: 100%;
clear: both;
}

div#title h1 {
background-color: #ffffff;
border-bottom: 5px solid #185FDD;
font-size: xx-large;
color: #185FDD;
padding: 0;
margin: 0;
}

/* The Blue title bar on non-main pages */

.header {
color: #ffffff;
background-color: #185FDD;
font-family: times new roman;
padding: 0;
font-size: medium;
font-weight: bold;
border: 3px solid #185FDD;
}

/* For the download page */

/* descriptions of versions available */
dt {
font-weight: bold;
}

dd {
font-family: times new roman;
}

/* Highlighting the code download sections */
.download {
background-color: #d0e0ff;
}

caption {
display: none;
}

th {
text-align: left;
}


h1 {
background-color: #185FDD;
color: #ffffff;
font-size:  xx-large;
padding: 2px;
margin-top: 5px;
}


h2 {
background-color: #185FDD;
color: #ffffff;
font-size: 1.2em;
padding: 2px;
margin-top: 5px;
}

h3 {
background-color: #185FDD;
color: #ffffff;
font-size: 1.1em;
padding: 2px;
margin-top: 5px;
}

h4, h5, h6 {
color: #606060;
font-size: large;
padding: 2px;
margin-top: 5px;
}

/* for links in the header */
h1 a {
color: #ffffff;
}

#im {
float: right;
margin: 10px;
border: 2px solid #000000;
}

#iml {
margin: 10px;
float: right;
border: 2px solid #000000;
clear: right;
}

img.left { float:left; margin:1em; }
img.right { float:right; margin:1em; }
img.middle { text-align:center; margin:1em; }

img.logo { float: right; clear: right; border-style:none; }

pre {
border: #777777 1px solid;
padding: 0.5em;
margin-left: 1em;
margin-right: 2em;
white-space: pre;
background-color: #e6e6e6;
color: black;
}

blockquote.note {
border: #777777 1px solid;
padding: 0.5em;
margin-left: 1em;
margin-right: 2em;
background-color: #e6e6e6;
color: black;
}