are there any tools other than WebDeveloper which allow live editing, *as plain text* (not a FireBug dom tree), of the CSS in the browser?