anchor.diff:  $opacity-focus:     .75;
   $opacity-selection: .25;
   
  -// navbars
  +// navigation
   
   $navbar-default-color:             $gray-dark;
   $navbar-default-bg:                $gray-lightest;
  
positive.code: $panel-border-radius:      $border-radius-base;
  $thumbnail-border-radius:  $border-radius-base;
  
  // state text
  
  $state-success-text: $brand-success;
  $state-info-text:    $brand-info;
  
negative.code: 
  $tooltip-opacity: $opacity-default;
  
  // radiuses
  
  $border-radius-base:  0;
  $border-radius-large: 0;
  