Skip to content

Instantly share code, notes, and snippets.

@tobobo
Created September 25, 2019 21:27
Show Gist options
  • Select an option

  • Save tobobo/e2a64e065d007132640e70cbdef6a4e9 to your computer and use it in GitHub Desktop.

Select an option

Save tobobo/e2a64e065d007132640e70cbdef6a4e9 to your computer and use it in GitHub Desktop.
Faster Jenkins Greasmonkey Script (by Jean-Yves)
// ==UserScript==
// @name Faster Jenkins
// @match https://jenkins.staging.changeeng.org:8443/
// @grant none
// ==/UserScript==
(function() {
'use strict';
function addGlobalStyle(css) {
var head, style;
head = document.getElementsByTagName('head')[0];
if (!head) { return; }
style = document.createElement('style');
style.type = 'text/css';
style.innerHTML = css;
head.appendChild(style);
}
addGlobalStyle("#page-body { background: url('https://wallpapershome.com/images/pages/pic_h/7995.jpg') no-repeat center center fixed !important; background-size: cover !important; }");
addGlobalStyle("table.stripped-odd tr:nth-child(odd) { background-color: rgba(251, 251, 251, 0.5) !important; }");
})();
@bbelhadi
Copy link

love it 😍 !

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment