html { 
     font-family:                 verdana, sans-serif;
 }

 .nav {
     text-align:                  right;
     color:                       black;
     font-size:                   small;
     font-weight:                 bold;
 }

 .nactive {
     border-bottom:               1px dotted #09550B; 
     background-color:            lavender; 
     color:                       #09550B;
     font-size:                   small;
     text-decoration:             none;
 }

 .ninactive {
     color:                       #008500; 
     font-size:                   small; 
 }

 .nlink {
     text-decoration:             none; 
     color:                       #09550B; 
     font-size:                   small; 
 }

 .nlink:hover {
     background-color:            lavender; 
     border-bottom:               1px dotted #09550B;
     font-size:                   small; 
 }

 .inpage {
     text-decoration:             none;
     color:                       #09550B;
 }

 .inpage:hover {
     background-color:            mistyrose;
     color:                       red;
     border-bottom:               1px dotted red;
 }

 .levbar {
     position:                    absolute; 
     top:                         0px; 
     left:                        0px;
     width:                       11em; 
     height:                      100%; 
     border-right:                4px dotted #008500; 
     border-bottom:               4px dotted #008500; 
     background-color:            white;
 }

 .main {
     position:                    absolute; 
     left:                        13em; 
     width:                       75%;
 }

 h1,h2,h3,h4,h5 {
     padding:                     1px 10px;
     border:                      1px none #008500;
     border-left-width:           4px;
     border-left-style:           solid;
     background-color:            #CCE6CA;
     margin-top:                  25px;
     font-size:                   105%;
     font:                        105%;
     color:                       #09550B;
 }

 .pagetitle {
     border-top:                  1px dotted #008500; 
     border-bottom:               1px dotted #008500;
     padding-top:                 5%;
     padding-bottom:              5%;
     margin-top:                  5%;
     margin-bottom:               5%;
     text-align:                  center;
     width:                       100%;
     color:                       #008500; 
     background-color:            white;
     font-size:                   small; 
     font-weight:                 bold;
 }

 dt  {
     font-weight:                 bold;
     margin-top:                  1%;
 }

 dd.changelog  { 
     font-size:                   140%;
 }

 th  {
     margin-top:                  25px;
     padding:                     1px 10px;
     border:                      1px none #008500;
     border-left-width:           1px;
     border-left-style:           solid;
  /*
   * background-color:            #CCE6CA;
   */
     width:                       7em;
     font-size:                   90%;
     font:                        90%;
     color:                       #09550B;
     text-align:                  left;
 }

 td { 
     font-family:                 "andale mono", monospace;
     font-weight:                 bold;
 }

 tt { 
     font-family:                 "andale mono", monospace;
 }

 .levbarlist {
     list-style-type:             none;
     padding:                     5%;
     border-top:                  1px dotted #008500;
     border-bottom:               1px dotted #008500;
     background-color:            #FCFCE1;
 }

 .pkglist {
     padding-top:                 2%;
     padding-bottom:              2%;
     list-style-type:             square;
 }

 .letterlist {
     background-color:            #CCE6CA;
 }

 .letterlist a {
     padding-left:                0.2em;
     padding-right:               0.2em;
 }

 .footernote {
     text-align:                  right;
     font-size:                   small;
     font-weight:                 bold;
     background-color:            #CCE6CA;
     border-top:                  1px dotted #008500;
     color:                       #008500;
 }

 .repoview {
     text-decoration:             none;
     color:                       #008500;
     border-bottom:               1px dotted #008500;
     font-size:                   small; 
 }

 .repoview:hover {
     background-color:            lavender; 
     border-bottom:               1px dotted #09550B;
     color:                       #09550B;
     font-size:                   small; 
 }