/***********************************************************/
/*                  PAGE-WIDE SETTINGS                     */
/**********************************************************/

html {
  height:100%;
}

body {
  margin: 0;
  padding: 0;
  height: 100%;
  font-size: 100%;
  margin-right: auto;
  margin-left: auto;
  color: black;
  background-color: white;
}

/***********************************************************/
/*                      HEADERS                            */
/***********************************************************/
h4, h3, h2, .unnumberedsubsubsec, .subsubheading {
  color: #151959;
}

h2 {
  font-size: x-large;
}
.unnumberedsubsubsec, .subsubheading {
  font-size: large;
}

/***********************************************************/
/*                       LINKS                             */
/***********************************************************/
a:link, a:visited, a:hover, a:active {color:#2E5479; text-decoration: none;}
a:hover {text-decoration: underline;}
a:active {color:#CCCCFF;}

/***********************************************************/
/*                  BLOCK FORMATTING                       */
/***********************************************************/
blockquote {
  border: 1px solid #CCCCCC;
  padding: 3px;
  width: 40em;
}
.verbatim, .example {
  font-family: "Courier New",Courier,monospace;
}
hr {
  border:  none;
  height: 1px;
  color: #666666;
  background-color: #666666;
}
table.cartouche {
  border: 2px dotted #CCCCCC;
  margin-left: auto;
  margin-right: auto;
  width: 85%;
}
table.cartouche td {
  border: none;
}

/***********************************************************/
/*                    MAIN CONTENT                         */
/***********************************************************/

div#main {
  position: absolute;
  top: 0;
  right: 0;
  bottom: 0;
  left: 27%;
  padding: 0 1em;
  margin: 0;
  overflow: auto;
}

#languages {
  padding-bottom: 1em;
}

/***********************************************************/
/*                    TOC SIDEBAR                          */
/***********************************************************/

div#tocframe {
  position:      absolute;
  top:           0;
  right: 73%;
  bottom: 0;
  left:          0;
  padding:       5px;
  padding-bottom: 0;
  margin: 0;
  overflow:      auto;
  background-color: #E7EFE3;
  z-index:100;
  list-style-type: none;
}

@media screen {
  body>div#tocframe {
    position: fixed
    }
  }

#tocframe .contents {
  width: 100%;
  padding-bottom: 0.25em;
  border: none;
  margin: 0em;
  background-color: transparent;
  list-style-type: none;
}

#tocframe a, #tocframe a:visited, #tocframe a:active {
  color: #1B3313;
  text-decoration: none;
}

#tocframe a:hover {
  color: #2E5479;
  text-decoration:underline;
}

#tocframe ul.toc {
  padding-left: 0px;
  margin-left: 0px;
}
#tocframe ul.toc li {
 padding-left: 0px;
  margin-left: 0px;
  list-style-type: none;
}
#tocframe ul.toc > li {
  font-size: 12px;
}
#tocframe ul.toc li li {
  padding-left: 15px;
}
li.toc_current {
  font-weight: bold;
  font-style: italic;
}

li.toc_current ul {
  font-weight: normal;
  font-style: normal;
  background: transparent;
}




/***********************************************************/
/*                     NAVIGATION                          */
/***********************************************************/

div.header {
  background-color: #E7EFE3;
  padding: 2;
  border: #CCD3CC 1px solid;
  text-align: center;
}

h1.header {
  font-weight: bold;
  font-family: avantgarde, sans-serif;
  font-size: 220%;
}

div.subheader {
  text-align: center;
}

#navigation {
  margin: 0 auto;
}

.nav_table {
  width: 100%;
  background-color: #CCD3CC;
  border: 0;
  margin-top: 4px;
  left: auto;
  right: auto;
  font-size: 0.8em;
}

.title {
  font-weight: bold;
}

.footer {
  background-color: #E7EFE3;
  padding: 5;
  border: #CCD3CC 1px solid;
  font-size: 80%;
}



/***********************************************************/
/*               OVERRIDES FOR PRINTING                    */
/***********************************************************/
@media print {
  /* Hide the sidebar: */
  body { padding-left: 0; }
  #tocframe { display: none; }
  .nav_table { display: none; }
}