anchor.diff:    .box-shadow(0 1px 0 rgba(0,0,0,.25));
   }
   
  -.btn-navbar .icon-bar + .icon-bar {
  +.btn-navbar .icon-bar + .icon-bar
  +{
     margin-top: 3px;
   }
   
  
positive.code:   }
  }
  
  .btn-navbar .icon-bar {
    display: block;
    width: 18px;
    height: 2px;
  
negative.code:     padding-left: 20px;
      padding-right: 20px;
  
      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));
      .user-select(none);
  
      h1
      {
  