various style enhancements to editor