NOTICE: By continued use of this site you understand and agree to the binding Terms of Service and Privacy Policy.
// ==UserScript== // @name Jenkis Monokai Material Dark Theme // @version 0.1.3 // @description Merge between https://userstyles.org/styles/157682 and ttps://cdn.rawgit.com/afonsof/jenkins-material-theme/gh-pages/dist/material-deep-orange.css // @author Maicon Zucco // @copyright 2019, maicon.zucco (https://openuserjs.org/users/maicon.zucco) // @license MIT // @match htt*://jenkins.jupiter.co.ao/* // @grant none // @icon https://i.dlpng.com/static/png/4030093-logo-jenkins-jenkins-wiki-jenkins-png-256_256_preview.png // ==/UserScript== // ==OpenUserJS== // @author maicon.zucco // ==/OpenUserJS== (function() { // Material Theme var head = document.head; var link = document.createElement("link"); var colorName = 'amber'; link.type = "text/css"; link.rel = "stylesheet"; link.href = 'https://cdn.rawgit.com/afonsof/jenkins-material-theme/gh-pages/dist/material-' + colorName + '.css'; head.appendChild(link); // Dark Theme var css = [ "html {", " -webkit-filter: invert(100%) !important;", "}", "body {", " background: #D8D7DD;", // Somente para o Safari. No Chrome deve ser 272822 " background: #272822;", "}", "img,", "iframe {", " -webkit-filter: invert(100%) !important;", "}", "#header,", "#breadcrumbBar {", " background: #FFFFFF;", "}", "#main-panel {", " background: #D8D7DD;", "}", "#side-panel {", " background: #D8D7DD;", "}", "#header a,", "#header a:visited,", "#breadcrumbBar a,", "#breadcrumbBar a:visited {", " color: #06D98D !important;", "}", "a,", "a:link,", "a:visited,", ".model-link {", " text-decoration: none;", " color: #992610;", "}", "a:hover,", ".model-link:hover {", " color: #06D98D !important;", "}", "#description {", " color: #06D98D;", "}", ".inverse {", " color: #000;", "}" ].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); } } })();