anchor.diff:      
       // editor size
       width: "100%",
  -    height: "100%",
       
       // events
       setup : function(ed) {
  
positive.code:     theme_advanced_toolbar_align : "left",
      theme_advanced_statusbar_location : "bottom",
      theme_advanced_resizing : true,
  
      // Skin options
      skin : "o2k7",
  
negative.code: 	form.target = target;
  	form.submit(); 
  }
  
  var tagBarHeight = 14;
  
  // calculate editor height in pixels
  function getEditorHeight(){
  	return document.getElementById('textarea-container').clientHeight -tagBarHeight;
  }
  
  //-->
  </script>
  </head>
  