/* Generated by CaScadeS, a stylesheet editor for Mozilla Composer */

  body {  }

  div.toc { background: rgb(255, 255, 255) none repeat scroll 0%;
    position: absolute;
    height: auto;
    top: 1em;
    right: auto;
    bottom: 1em;
    left: 1em;
    min-width: 132px;
    width: 12em;
    }

  div.tocLinks {
    padding-left: 0.5em;
    padding-right: 0.5em;
    border: 2px solid red;
    }

  div.toc h1 { margin-left: auto;
    text-align: center;
    color: black;
    font-size: 20pt;
    }

  div.toc h1, div.toc h2, div.toc p, div.toc ol { display: block;
    margin-left: 0.75em;
    text-indent: -0.5em;
    text-align: left;
    }
   
  div.toc ul { margin-left: 0pt;
    padding-left: 0pt;
    text-align: left;
    text-indent: 0pt;
    }
  
  div.toc p {
    font-size: 9pt;
  }

  div.toc ul li { padding-left: 0pt;
    }

  div.toc h1, div.toc h2, div.toc h3, div.toc h4, div.toc h5, div.toc h6 {
    font-size: 10pt;
    }

  div.toc a:hover { background: white none repeat scroll 0%;
    color: red;
    }
  
  .current {
    color: red;
    font-weight: bold;
   }

/* W4A button-like link.  Also defined in "splash.css" without a font size */

a.redBorderButton {
    color: black;
    background: white;
    padding: .40em 1.5em .30em 1.5em;
    border: 2px solid red;
    text-decoration: none;
    font-weight: bold;
    font-family: verdana,arial,helvetica,sans-serif;
    font-size: 10pt;
}

  
/* "English-only" notification */

.enOnly {
    font-size: smaller;
}

  @media print {
  div.toc { display: none;
    }
  body, html > body { margin: 0.5in;
    padding: 0pt;
    }
}