anchor.diff:        }
   
         .line.active {
  -        background-color: #977;
  +        background-color: #900;
         }
   
         input[type="submit"] {
  -        color: #EEE;
  -        background-color: #535353;
  -        border: none;
  -        border-radius: 3px;
  -        box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.2), 0 1px 2px rgba(0,0,0,0.15), 0 1px 1px rgba(0,0,0,0.15);
  -        padding: 2px 7px;
  +        box-shadow: 0 3px #800;
         }
         input[type="submit"]:active {
  -        background-color: #777;
  -      }
  -
  -      a { color: #C52F24; }
  +        box-shadow: 0 2px #800;
  +      }
  +
  +      a { color: #C00; }
         a.trace-frames { color: #999; }
         a:hover { color: #E9382B; }
         a.trace-frames.selected { color: #E9382B; }
  
positive.code: 
      .button_to {
        display: inline-block;
        margin-top: 0.5em;
        margin-bottom: 0.5em;
      }
  
      .hidden {
        display: none;
      }
  
      a { color: #980905; }
      a:visited { color: #666; }
  
negative.code: 
      header {
        color: #F0F0F0;
        background: #C00;
        padding: 0.5em 1.5em;
      }
  
  