☰

Better Rutor UI

Some UI improvements for Rutor

当前为 2022-02-08 提交的版本，查看 最新版本。

  1. // ==UserScript==
  2. // @name          Better Rutor UI
  3. // @namespace     http://userstyles.org
  4. // @description	  Some UI improvements for Rutor
  5. // @author        al3xantr
  6. // @homepage      https://userstyles.org/styles/160017
  7. // @include       http://rutor.info/*
  8. // @include       https://rutor.info/*
  9. // @include       http://*.rutor.info/*
  10. // @include       https://*.rutor.info/*
  11. // @include       http://rutor.is/*
  12. // @include       https://rutor.is/*
  13. // @include       http://*.rutor.is/*
  14. // @include       https://*.rutor.is/*
  15. // @run-at        document-start
  16. // @version       0.20180516091434
  17. // ==/UserScript==
  18. (function() {var css = [
  19. 	"#content > center > h1 {",
  20. 	"    color: gray !important;",
  21. 	"    font-size: 12px !important;",
  22. 	"}",
  23. 	"#download a {",
  24. 	"    text-decoration: none !important;",
  25. 	"}",
  26. 	"#download a.d_small, #download a:hover {",
  27. 	"    text-decoration: underline !important;",
  28. 	"}",
  29. 	"a:visited {",
  30. 	"    color: gray !important;",
  31. 	"}",
  32. 	"h1 {",
  33. 	"    color: black !important;",
  34. 	"    font-size: 20pt !important;",
  35. 	"    margin-left: 15px !important;",
  36. 	"}"
  37. ].join("\n");
  38. if (typeof GM_addStyle != "undefined") {
  39. 	GM_addStyle(css);
  40. } else if (typeof PRO_addStyle != "undefined") {
  41. 	PRO_addStyle(css);
  42. } else if (typeof addStyle != "undefined") {
  43. 	addStyle(css);
  44. } else {
  45. 	var node = document.createElement("style");
  46. 	node.type = "text/css";
  47. 	node.appendChild(document.createTextNode(css));
  48. 	var heads = document.getElementsByTagName("head");
  49. 	if (heads.length > 0) {
  50. 		heads[0].appendChild(node);
  51. 	} else {
  52. 		// no head yet, stick it whereever
  53. 		document.documentElement.appendChild(node);
  54. 	}
  55. }
  56. })();