CISTI bookmarklets

Stephen has released two bookmarklets with source code: Proxify CISTI and Highlight CISTI.
Scroll down on his Firefox Tools page to get them.

The way I use these in Firefox is to turn on the bookmarks toolbar (use menu View->Toolbars->Bookmarks Toolbar) and then just drag the links to the toolbar.  Then you can use them just like a clickable button.

UPDATE 2005-Dec-22: Visit CISTI Lab for the latest bookmarklets.