anchor.diff:      header.exception {
           padding: 18px 20px;
   
  -        background-color: #222;
  +        height: 57px;
  +        overflow: hidden;
  +
  +        background-color: #20202a;
           color: #aaa;
           text-shadow: 0 1px 0 rgba(0, 0, 0, 0.3);
           font-weight: 200;
  
positive.code:         color: white;
      }
  
      /* ---------------------------------------------------------------------
       * Navigation
       * --------------------------------------------------------------------- */
  
      nav.tabs {
          border-top: solid 1px #333;
          border-bottom: solid 1px #1a1a1a;
  
          background-color: #444;
          text-align: center;
  
          padding: 6px;
  
negative.code:         font-size: 8pt;
          font-weight: bold;
  
          color: #999;
          text-shadow: 0 1px 0 rgba(255, 255, 255, 0.6);
      }
  
      nav.tabs a.selected {
  