anchor.diff:  
   div.sheet {
     overflow: auto;
  -  height: 500px;
  +  height: 700px;
     margin: 0px;
   }
   
  
positive.code: 
  div.row_headings
  {
    height: 500px;
    width:3em;
    border-right:  1px solid black;
  }
  
negative.code: div.sheet_container
  {
    background-color: #DDD;
    height: 720px;
    overflow:  hidden;
  }
  
  