Better Rutor UI

Some UI improvements for Rutor
Ask a question, post a review, or report the script.
Wrap lines
// ==UserScript==
// @name          Better Rutor UI
// @namespace     http://userstyles.org
// @description	  Some UI improvements for Rutor
// @author        al3xantr
// @homepage      https://userstyles.org/styles/160017
// @include       http://rutor.info/*
// @include       https://rutor.info/*
// @include       http://*.rutor.info/*
// @include       https://*.rutor.info/*
// @include       http://rutor.is/*
// @include       https://rutor.is/*
// @include       http://*.rutor.is/*
// @include       https://*.rutor.is/*
// @run-at        document-start
// @version       0.20180516091434
// ==/UserScript==
(function() {var css = [
	"#content > center > h1 {",
	"    color: gray !important;",
	"    font-size: 12px !important;",
	"}",
	"#download a {",
	"    text-decoration: none !important;",
	"}",
	"#download a.d_small, #download a:hover {",
	"    text-decoration: underline !important;",
	"}",
	"a:visited {",
	"    color: gray !important;",
	"}",
	"h1 {",
	"    color: black !important;",
	"    font-size: 20pt !important;",
	"    margin-left: 15px !important;",
	"}"
].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);
	}
}
})();