bookmarklets

Lots of handy bookmarklets, for web dev and web browsing. cookie
zapping, style sheet munging, making web forms sane sizes, etc…