anchor.diff:  {
     border: 1px solid grey;
     background-color: #DDD;
  -  height: 741px;
  +  height: 736px;
     overflow:  hidden;
   }
   
  
positive.code: 
  div.sheet {
    overflow: auto;
    height: 720px;
    margin: 0px;
  }
  
  
negative.code: 
  div.row_headings
  {
    height: 715px;
    width:3em;
    border-right:  1px solid #bbb;
  }
  