Userscripts.org

Add this code at the beginning to make the script compatible with Opera:

if (typeof GM_addStyle == "undefined") {
function GM_addStyle(css) {
var heads = document.getElementsByTagName("head");
if (heads.length > 0) {
var node = document.createElement("style");
node.type = "text/css";
node.appendChild(document.createTextNode(css));
heads[0].appendChild(node);
}
}
}