とほほのHTML・CSSリファレンスページを使いやすくするgreasemonkeyスクリプト

簡易検索ボックスの追加と、相互のページへ一発で移動できるリンクを追加する。

// ==UserScript==

// @name          Tohoho Filter

// @include       http://www.tohoho-web.com/html/index.htm

// @include       http://www.tohoho-web.com/css/index.htm

// ==/UserScript==
// 検索用ボックスを追加

//-------------------------

function filter(doc, fStr) {

	var as = doc.getElementsByTagName('a');

	for(var i=0; i