Guest User

Untitled

a guest
Sep 20th, 2016
141
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 1.95 KB | None | 0 0
  1. // @include http://2ch.hk/*
  2. // @include https://2ch.hk/*
  3. // @include http://*.2ch.hk/*
  4. // @include https://*.2ch.hk/*
  5. // @run-at document-start
  6. // @version 0.20121218233854
  7. // ==/UserScript==
  8. (function() {var css = [
  9. "#adminbar { display: none; }",
  10. "#title { display: none; }",
  11. ".abupost { display: none; }",
  12. ".footer { display: none; }",
  13. ".mobile { display: none; }",
  14. "hr { display: none; }",
  15. ".filetitle { font-weight: normal; font-size: 1.1em; }",
  16. "",
  17. "a { color: #4271ae; }",
  18. ".orange { color: #4271ae; }",
  19. "",
  20. "td a {",
  21. " color: #4271ae; ",
  22. " font-size: 1.2em !important;",
  23. " background: #fafafa;",
  24. " padding: 3px 7px 3px 7px;",
  25. " border-radius: 7px; ",
  26. "}",
  27. "",
  28. ".rmenu a { ",
  29. " color: #4271ae; ",
  30. " font-size: 1.2em !important;",
  31. " background: #fafafa;",
  32. " padding: 3px 7px 3px 7px;",
  33. " border-radius: 7px; ",
  34. "}",
  35. ".rmenu a:visited { color: #f5871f; }",
  36. "",
  37. "html, body {",
  38. " font-size: 1.1em !important;",
  39. " font-family: Ubuntu, \"Helvetica Neue\", Helvetica, Arial, Sans-Serif !important ;",
  40. " line-height: 25px;",
  41. "",
  42. " background-color: #FFF;",
  43. "}",
  44. "",
  45. ".reply {",
  46. " background: #fafafa;",
  47. " border: solid 1px #d6d6d6;",
  48. " padding: 0;",
  49. " margin: 0;",
  50. "}",
  51. "",
  52. "tt, code, kbd, samp {",
  53. " font-family: Inconsolata;",
  54. " font-size: 1.2em;",
  55. "}"
  56. ].join("\n");
  57. if (typeof GM_addStyle != "undefined") {
  58. GM_addStyle(css);
  59. } else if (typeof PRO_addStyle != "undefined") {
  60. PRO_addStyle(css);
  61. } else if (typeof addStyle != "undefined") {
  62. addStyle(css);
  63. } else {
  64. var node = document.createElement("style");
  65. node.type = "text/css";
  66. node.appendChild(document.createTextNode(css));
  67. var heads = document.getElementsByTagName("head");
  68. if (heads.length > 0) {
  69. heads[0].appendChild(node);
  70. } else {
  71. // no head yet, stick it whereever
  72. document.documentElement.appendChild(node);
  73. }
  74. }
  75. })();
Advertisement
Add Comment
Please, Sign In to add comment