Bluefish Editor is the best I could find for CSS editing on Linux on short notice, and it's not great for that purpose. What's better?