cleaned up CSS for various editors; fixes #11