More CSS tweaks to editor