maineditor width in firefox