anchor.diff:          margin-top: @navbarHeight / 2;
           margin-right: 6px;
           padding: 0 10px;
  +        color: white;
   
           text-shadow: 0 -1px 0 black;
           font-weight: bold;
           font-size: 13px;
   
  +        background-color: rgb(38, 46, 49);
           background-color: rgba(0, 0, 0, 0.25);
   
           .border-radius(3px 3px 0 0);
  
positive.code:     img
      {
        vertical-align: middle;
  
        //
        // Vertically aligning the image to the middle does not result in a
        // perfect alignment, depending on the font size of the brand element
  
negative.code:       font-family: "HelveticaNeue-Light", "Helvetica Neue Light", "Helvetica Neue", sans-serif;
        font-weight: 300;
        font-size: 20.4px;
        color: rgb(128, 128, 128);
        color: rgba(0, 0, 0, 0.5);
        margin: 0;
      }
  