minor style fixes for editor size