// Safari Books font changer script for greasemonkey
// Change fonts from the serif they use to sans
// Copyright (c) 2005 Juri Pakaste

FONTFAMILY = "Verdana, Helvetica, Arial, sans-serif";

function collectionToArray(col) {
	a = new Array();
	for (i = 0; i < col.length; i++)
		a[a.length] = col[i];
	return a;
}

Array.prototype.filter = function (fnc) {
        var ret = new Array();
        for (var i = 0; i < this.length; i++) {
                var elem = this[i];
                if (fnc(elem))
                        ret.push(elem);
        }
        return ret;
}

Array.prototype.map = function (fnc) {
        var ret = new Array(this.length);
        for (var i = 0; i < this.length; i++)
                ret[i] = fnc(this[i]);
        return ret;
}

function changeFont() {
    collectionToArray(document.getElementsByTagName("p")).filter(
        function (elem) {
            return (elem.className == "docText" || elem.className == "docList");
        }).map(function (elem) {
            elem.style.fontFamily = FONTFAMILY;
        });
    collectionToArray(document.getElementsByTagName("tt")).map(
        function (elem) {
            elem.style.fontFamily = FONTFAMILY;
        });
}

changeFont();