Briefly describes how to use user style sheets and gives examples. Also includes a tool for making bookmarklets to apply user styles to specific pages.
A read-eval-print loop for JavaScript that works in IE, Mozilla, and Opera. Includes a Mozilla bookmarklet to run shell commands in the context of any web page.