MetaFilter embiggen favorite plus minus sign

Makes the + and − signs to add and remove favorites on MetaFilter.com larger for easier access on mobile.

As of 2019-08-21. See the latest version.

// ==UserScript==
// @name          MetaFilter embiggen favorite plus minus sign
// @namespace     http://userstyles.org
// @description	  Makes the + and − signs to add and remove favorites on MetaFilter.com larger for easier access on mobile.
// @author        Tehhund
// @match         *://*metafilter.com/*
// @run-at        document-idle
// @version       1
// ==/UserScript==
(function() {var css = [
	"a:link[id^=\"plusminus\"] {",
	"     font-size: 200%",
	"   }"
].join("\n");
if (typeof GM_addStyle != "undefined") {
	GM_addStyle(css);
} else if (typeof PRO_addStyle != "undefined") {
	PRO_addStyle(css);
} else if (typeof addStyle != "undefined") {
	addStyle(css);
} else {
	var node = document.createElement("style");
	node.type = "text/css";
	node.appendChild(document.createTextNode(css));
	var heads = document.getElementsByTagName("head");
	if (heads.length > 0) {
		heads[0].appendChild(node);
	} else {
		// no head yet, stick it whereever
		document.documentElement.appendChild(node);
	}
}
})();