anchor.diff:          border-right-style:none;
           border-left-style:none;
           border-top-style:none;
  -        margin-right:7px;
  +        margin-right:12px;
           color: white;
           position: relative;
           left: 10px;
  
positive.code:         border-right-style:none;
          border-top-style:none;
          border-bottom-style:none;
          padding-top:1px;
          padding-bottom:8px;
          position: relative;
  
negative.code:         border-right-style:none;
          border-left-style:none;
          border-top-style:none;
          margin-right:12px;
          color: white;
          position: relative;
          left: 10px;
  