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