//set up fast div/textarea rendering (found in helper.js)
try
{
	resizeBoxes(true);
}
catch(e) {}