ブックマークレット・パブリッシュキット

ブックマークレット・パブリッシュキットを公開しました。外部ファイルの読み込み、文字数削減のためのマクロ展開、外部ファイルの切りかえ、配布用HTML生成などができます。

これを使って、以前作成したブックマークレットのうちIE専用だったものの大半を、他のブラウザでも動くように修正しました。

加えて新しくブックマークレットをいくつか追加しました。