anchor.diff:      padding-left: 20px;
       padding-right: 20px;
   
  -    z-index: @zindexFixedNavbar + 1;
       border-bottom: 1px solid rgb(198, 198, 199);
       border-bottom: 1px solid rgba(0, 0, 0, 0.2);
       #gradient > .vertical(rgb(244, 245, 246), rgb(248, 248, 249));
       .box-shadow(0 1px 3px rgba(0, 0, 0, 0.075));
  -
  -    -webkit-user-select: none;
  -    -moz-user-select: none;
  +    .user-select(none);
   
       h1
       {
  
positive.code:   .box-shadow(0 1px 0 rgba(0,0,0,.25));
  }
  
  .btn-navbar .icon-bar + .icon-bar {
    margin-top: 3px;
  }
  
  
negative.code: 
  #content
  {
  
    // Page Header -------------------------------------------------------------
  
  