anchor.diff:  }
   
   a.taxonomy-1 {
  -  font-size: 13pt;
  +  font-size: 12pt;
     display: block;
     border-bottom: 1px dashed #999999;
     margin-bottom: 9px;
  
positive.code:   font-family: georgia;
  }
  
  ul.taxons-list {
    font-family: georgia;
    margin-bottom: 20px;
    border-bottom: 1px dashed #808080;
  }
  
  ul#main-nav-bar li a {
    font-size: 14pt;
  }
  
  ul#main-nav-bar li:first-child a {
  
negative.code: }
  
  nav#taxonomies .taxonomy-root {
    font-size: 13pt;
    color: #999999;
    font-family: georgia;
    border-bottom: 1px dashed #808080;
  