User:Palb91/vector.js

// ==UserScript== // @name         Dark Wikipedia // @namespace    http://userstyles.org // @description	 Simple Gray Wikipedia theme. (It based on Wikipedia - Dark grey w/ nicer search box.) // @author       nodaguti // @homepage     https://userstyles.org/styles/42313 // @include      http://wikipedia.org/* // @include      https://wikipedia.org/* // @include      http://*.wikipedia.org/* // @include      https://*.wikipedia.org/* // @run-at       document-start // @version      0.20120730101143 // ==/UserScript== (function {var css = [	"/* *** Basic *** */",	"",	"*{",	"  background-color: transparent !important;",	"   color: #bcbcbc !important;",	"}",	"",	"body, div, form, table, tbody, tr, td, fieldset, ul, li, a,",	"#content, #bodyContent{",	"   background-color: #333 !important;",	"   background-image: none !important;",	"}",	"",	"",	"/* *** Form Elements *** */",	"input, select, button, checkbox{",	"   -moz-appearance: none !important;",	"   border: 1px white solid !important;",	"   outline: none !important;",	"   background-color: #333 !important;",	"}",	"",	"#simpleSearch{",	"   border: none !important;",	"}",	"",	"",	"/* *** Main *** */",	"#content{",	"   font-family: trebuchet, arial !important; ",	"   font-size: 12pt !important;",	"   border: 0 !important;",	"}",	"",	"div#siteNotice{",	"   display:none !important;",	"}",	"p{",	"   border: none !important;",	"}",	"a{",	"   color: lightgrey !important;", "}",	"a:visited{", "  font-weight: bold !important;", "  opacity: 0.65 !important;", "}",	"a:link{", "  color: white !important;", "}",	"",	"h2{", "  border-bottom: #ccc 1px solid !important;", "  font-size: 120% !important;", "}",	"h2 > span{", "  color: white !important;", "}",	"h2 > span > span{", "  color: white !important;", "  font-size: 100% !important;", "}",	"",	"fieldset{", "  border-color: #ddd !important;", "}",	"",	"#bodyContent ul{", "  list-style-image: none !important;", "  list-style-type: disc !important;", "}",	"#toc ul{", "  list-style-type: none !important;", "}",	"",	".thumb{", "  border-color: #333 !important;", "}",	"",	"",	"/* *** Tabs *** */", "#searchButton{", "  display: none !important;", "}",	"",	"div.vectorTabs,", "div.vectorTabs ul,", "div.vectorTabs ul > li,", "div.vectorTabs ul > li > a{", "  background-color: #333 !important;", "  background-image: none !important;", "  border: none !important;", "}",	"",	"#right-navigation > .vectorMenu,", "#ca-watch{", "  display: none !important;", "}",	"",	"div.vectorTabs ul > li > a > span{", "  padding: 0 !important;", "}",	"div.vectorTabs ul > li > a{", " outline: 1px #888 solid !important;", " margin: 0 0.5em;", " height: auto !important;", " font-weight: normal !important;", "}",	"div.vectorTabs ul > li > a:hover{", "  text-decoration: none !important;", "  outline: 1px #ccc solid !important;", "}",	"",	"",	"/* *** Preference *** */", "#preftoc > li{", "  outline: 1px #ccc solid !important;", "  border-bottom: 5px #ccc solid !important;", "}",	"",	".successbox{", "  border-color: white !important;", "}",	"",	"",	"/* *** Search *** */", "#search .search-types ul,", "#search .results-info ul{", "  list-style-type: none !important;", "}",	"",	"",	"/* *** Logo Replacement *** */", "#p-logo a {", "  background: url(http://upload.wikimedia.org/wikipedia/en/b/bc/Wiki.png) no-repeat !important;", "  position: absolute !important;", "  clip: rect(0, 135px, 115px, 0) !important;", "  height: 115px !important;", "  overflow: hidden !important;", "  margin-top: 30px !important;", "}",	"",	"",	"/* *** Image and Math *** */", "img{", "  background-color: #fdfdfd !important;", "}",	"img.tex{", "  padding: 5px !important;", "}",	"span.tex{", "  border: 1px white solid !important;", "  padding: 5px !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); } } });