anchor.diff:    position: relative;
     margin: 20px;
     background-color: rgba(255, 255, 255, 0.6);
  +  border: 1px solid rgba(180, 180, 180);
  +  border: 1px solid rgba(0, 0, 0, 0.2);
     .border-radius(3px);
     .box-shadow(0 1px 3px rgba(0, 0, 0, 0.075));
  -  border: 1px solid rgba(0, 0, 0, 0.2);
   
     header
     {
       background-color: white;
  -    -webkit-border-top-left-radius: 2px;
  -    -webkit-border-top-right-radius: 2px;
  -    border-top-left-radius: 2px;
  -    border-top-right-radius: 2px;
  +    .border-radius(2px 2px 0 0);
       padding: 10px 20px;
  +    border-bottom: 1px solid rgb(200, 200, 200);
       border-bottom: 1px solid rgba(0, 0, 0, 0.15);
   
       h1
  
positive.code:       font-family: "HelveticaNeue-Light", "Helvetica Neue Light", "Helvetica Neue", sans-serif;
        font-weight: 300;
        font-size: 20.4px;
        color: rgba(0, 0, 0, 0.5);
        margin: 0;
      }
  
negative.code:         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);
  