assorted quick tweaks for WP's visual editor