Hacker News new | ask | show | jobs
by aleem 4887 days ago
The "edit styles" bookmarklet is a huge time saver. It's a live CSS editor. I usually tweak the styles in there then move them over to the CSS file when done.