body, td, th, select, input, li {
  font-family: 'Lucida Sans', 'Lucida Sans Unicode', 'Lucida Grande', Lucida, LucidaSans, sans-serif;
}
#contentBox, #contentBox li {
  font-family: 'Lucida Bright', 'lucidabright', 'Lucida Serif', Georgia, serif;
}
#banner {
  padding: 10px 0 12px 14px;
  border-bottom: 1px solid #eee;
}
#banner a {
  border: 0;
}
#leftColumn {
  background: white;
  margin: 0;
  width: 11em;
  border: none;
}
#bodyColumn{
  margin-left: 12.5em;
  width: 40em;
}
#navcolumn {
  padding: 18px 0 0 0;
}
#section-nav {
  position: fixed;
  bottom: 0.5em;
  left: 53em;
}
#navcolumn li, #section-nav li {
  list-style-type: none;
  font-size: 8pt;
  line-height: 2;
  font-weight:bold;
  padding-left: 20px;
}
#navcolumn li a, #navcolumn li.group, #section-nav li a {
  font-weight:normal;
}
#navcolumn li.grouped {
  margin-left: .6em;
}
#leftColumn a, #leftColumn a:visited, #section-nav li a {
  border: none;
}
#navcolumn li.expanded a, #navcolumn li.none a {
  padding-bottom: .2em;
}
a:link {
  color: #4F7F47;
  padding: .2em 0 0 0;
  border-bottom: solid 1px #C7DFC3;
}
a:visited  {
  color: #666;
  padding: .2em 0 0 0;
  border-bottom: solid 1px #bbb;
}
#contentBox a:hover, #navcolumn li a:hover, #section-nav li a:hover {
  color: #159800;
  border-bottom: solid 1px #159800;
}
.section {
  padding: 0;
}
#contentBox, #contentBox p, #contentBox li {
  color: #444;
  font-size: 10pt;
  line-height: 1.5;
}
#contentBox ul, #contentBox ol {
  margin-left: 0;
  margin-top: 1.5em;
  padding-left: 0em;
}
#contentBox ol li {
  list-style: decimal inside;
}
#contentBox li {
  line-height: 1.5;
}
#contentBox p {
  margin: 1.5em 0 0 0;
  width: 31em;
}
#contentBox p + p {
   text-indent:1.5em;
   margin-top:0;
}
#contentBox h1, h2, h3, h4, h5, dt {
  font-weight: normal;
  margin-bottom: 0em;
  background: none;
  border: none;
  padding: 0;
  color: #555;
  font-weight: normal;
}
#contentBox h1 {
  font-size: 164%;
  margin: 15px 0 0 0;
}
#contentBox h1 img {
  position: relative;
  top: 3px;
  left: -2px;
}
#contentBox h2 {
  font-size: 164%;
  line-height: .91;
  margin: .91em 0;
}
#contentBox h3 {
  font-size: 145%;
  line-height: 1.03;
  margin: .8em 0 0 0;
}
#contentBox h3 img{
  position: relative;
  top: 2px;
  left: -1px;
}
#contentBox h4, dt a{
  font-size: 118%;
  margin: 1.27em 0;
  line-height: 1.27;
}
#contentBox h5{
  font-size: 100%;
  margin: 1.5em 0;
  line-height: 1.5;
}
acronym, abbr {
  cursor: inherit;
  border: none;
  font-size: 90%;
  letter-spacing: .05em;
}
div#info{
  font-size: 85%;
  color: #999;
  margin: 1.7em 0 1.1em 0;
}
dl, dt {
  border: none;
  background: none;
  padding: 0;
  margin: 0
}
#contentBox dl dt a:hover {
  background-color: transparent;
  border: none;
  color: #555;
}
.source {
  border: none;
  padding:0;
  margin-left: 0;
}
.source pre, pre, tt, code {
  font-family: 'Lucida Sans Typewriter', monospace;
  font-size: 9pt;
}