Bookmarklets

Bookmarklets are a nifty way of customizing your browser. I've recently created some (and modified a few to suit my own needs). Yea, they're all for boring library stuff. But hey, that's what I do. Share and enjoy.