anchor.diff:    bottom: 0;
     left: 0;
     overflow: scroll;
  +  @include box-shadow(0 0px 4px rgba(0,0,0,0.25));
   
     @media (max-width: 768px) {
       top: $nav_height_base + $map_height_tablet;
  
positive.code:   background-color: darken(#7a796e, 1%);
  }
  header.blue, .gradient.blue {
    border-top: 1px solid;
    border-bottom: 1px solid;
    border-color: #5E9B99;
    @include gradient-vertical(#93d2d0, #679a98);
  
negative.code:   padding: 0 $sidebar_margin;
    text-transform: uppercase;
    box-sizing: border-box;
    @include shadow-black(0.25);
    h1, h2, h3, h4, h5, h6 {
      font-weight: 600;
  