@charset "utf-8";

/* Default stylesheet. Do not edit, generated automatically. */

/* Unset default browser spacing, etc. */

html, body, h1, h2, h3, h4, h5, h6, p, ul, ol, li, table, caption, pre {
  margin: 0;
  padding: 0;
}

a img {
  border: none;
}


/* Basic formatting. */

html {
  font-size: 100.01%;
}

body {
  background-color: white;
  color: rgb(135,135,135);
  font-family: verdana, sans-serif;
  font-size: 0.825em;
  line-height: 130%;
}

h2, h3, h4, h5, h6 {
  margin-top: 20px;
}

h2.first {
  margin-top: 0;
}

h2, h3, h4, h5, h6, p, ul, ol, table, caption, pre {
  margin-bottom: 10px;
}

ul ul ,
ol ol {
  margin-bottom: 0;
}

ul {
  margin-left: 25px;
}

ol {
  margin-left: 35px;
}


/* Links */
/* Note: order must be link, visited, hover, active. */

a {
  color: rgb(0,0,102);
}

a:link, a:visited {
  text-decoration: underline;
}

a:hover, a:active {
  background-color: rgb(201,201,221);
  text-decoration: none;
}


/* Page layout. */

body {
  width: 1000px;
}

h1 {
  background-color: rgb(0,0,102);
  padding: 20px 0 25px 200px;
}

#content {
  position: relative;
}

#nav  ,
#main {
  position: absolute;
  left: 0;
  top: 0;
}

#nav {
  width: 160px;
  margin: 20px;
  background-color: rgb(201,201,221);
  border-top: 1px solid rgb(0,0,102);
}

#main {
  padding-left: 200px;
  margin-top: 20px;
  width: 800px;
}

div.col2a {
  float: left;
  width: 390px;
  margin-right: 20px;
  margin-bottom: 20px;
}

div.col2b {
  float: right;
  width: 390px;
  margin-bottom: 20px;
}

div.col3a {
  float: left;
  width: 253px;
  margin-right: 20px;
  margin-bottom: 20px;
}

div.col3b {
  float: left;
  width: 253px;
  margin-right: 20px;
  margin-bottom: 20px;
}

div.col3c {
  float: right;
  width: 253px;
  margin-bottom: 20px;
}


/* Navigation. */

ul#nav {
  list-style-type: none;
}

ul#nav li {
  border: 1px solid rgb(0,0,102);
  border-top: none;
}

ul#nav a {
  display: block;
  font-weight: bold;
  text-decoration: none;
  color: rgb(0,0,102);
  padding: 2px 5px;
}

ul#nav a:hover {
  background-color: white;
}

body#sec0 li#sec0link ,
body#sec1 li#sec1link ,
body#sec2 li#sec2link ,
body#sec3 li#sec3link ,
body#sec4 li#sec4link ,
body#sec5 li#sec5link ,
body#sec6 li#sec6link ,
body#sec7 li#sec7link ,
body#sec8 li#sec8link ,
body#sec9 li#sec9link {
  background-color: rgb(0,0,102);
}

body#sec0 li#sec0link a ,
body#sec1 li#sec1link a ,
body#sec2 li#sec2link a ,
body#sec3 li#sec3link a ,
body#sec4 li#sec4link a ,
body#sec5 li#sec5link a ,
body#sec6 li#sec6link a ,
body#sec7 li#sec7link a ,
body#sec8 li#sec8link a ,
body#sec9 li#sec9link a {
  color: white;
  background-color: rgb(0,0,102);
}


/* Footer. */

div#footer {
  clear: both;
}

#parentlinks {
  font-weight: bold;
  background-color: rgb(0,0,102);
  color: white;
  padding: 5px 0 8px 200px;
  margin: 30px 0 15px -200px;
}

#parentlinks a {
  color: white;
  background-color: rgb(0,0,102);
}

#footer address {
  font-style: normal;
  font-weight: bold;
  color: rgb(0,0,102);
  padding-bottom: 20px;
  margin-left: 0;
}


/* Headings */

h1, h2, h3, h4, h5 {
  font-style: normal;
  font-weight: bold;
}

h1 {
  font-size: 2em;
  font-variant: small-caps;
  color: white;
}

h2, h3, h4 {
  color: rgb(0,0,102);
}

h2 {
  font-size: 1.25em;
}

h3 {
  font-size: 1.1em;
}

h4 {
  font-size: 1em;
}

h5 {
  font-size: 0.825em;
}

h6 {
  font-size: 0.825em;
  font-style: italic;
  font-weight: normal;
}

h5 a:link, h5 a:visited ,
h6 a:link, h6 a:visited {
  color: rgb(135,135,135);
}

h5 a:hover, h5 a:active ,
h6 a:hover, h6 a:active {
  color: rgb(135,135,135);
}


/* Tables. */

table {
  border-collapse: collapse;
  border: solid 1px rgb(0,0,102);
  margin: 20px auto;
}

th {
  color: white;
  background-color: rgb(0,0,102);
  padding: 5px 10px;
  text-align: center;
  vertical-align: bottom;
}

th + th {
  border-left: solid 1px white;
}

td {
  border: solid 1px rgb(0,0,102);
  padding: 5px 10px;
  text-align: left;
  vertical-align: top;
}

.vmiddle td {
  vertical-align: middle;
}

caption {
  caption-side: bottom;
  margin: -10px auto 20px auto;
  text-align: right;
  font-size: 0.75em;
}


/* Code. */

pre.code {
  color: rgb(0,0,102);
  background-color: rgb(201,201,221);
  border: 1px solid rgb(0,0,102);
  padding: 10px;
  width: 700px;
  margin: 20px auto;
  line-height: 110%;
}


/* Miscellaneous. */

.refs {
  font-size: 0.75em;
}

.left {
  float: left;
  margin-right: 20px;
  margin-bottom: 20px;
}

.right {
  float: right;
  margin-left: 20px;
  margin-bottom: 20px;
}

.clear {
  clear: both;
}

.postnom {
  font-variant: small-caps;
  font-size: 0.75em;
}

p.callout {
  color: rgb(0,0,102);
  background-color: rgb(201,201,221);
  border: 1px solid rgb(0,0,102);
  padding: 10px;
  width: 700px;
  margin: 20px auto;
  font-weight: bold;
  font-style: italic;
}

@media print {
  #main {
    padding-left: 0;
  }

  #nav {
    display: none;
  }

  #footer {
    display: none;
  }

  h1 {
    background-color: white;
    color: rgb(0,0,102);
    padding-left: 0;
  }

}