That allows you to reload all the CSS of any site without you have to reload the page itself.
// ==UserScript==
// @name CSSreloader
// @namespace DuKaT
// @version 0.3
// @description That allows you to reload all the CSS of any site without you have to reload the page itself.
// @author DuKaT
// @include http://*/*
// @include https://*/*
// @grant none
// ==/UserScript==
(function() {
'use strict';
var CSSreloader = function() {
function reload() {
const reloader = 'cssReloader=' + Date.now();
let elements = document.querySelectorAll('link[rel="stylesheet"][href]'),
elementsLen = elements.length,
i, element, href;
for (i = 0; i < elementsLen; ++i) {
element = elements[i];
href = element.href.replace(/[\?\&]cssReloader=\d+$/, '');
element.href = href + (href.indexOf('?') === -1 ? '?' : '&') + reloader;
}
}
return { reload };
}();
document.addEventListener('keyup', (e) => {
if (e.keyCode === 120) { // keyCode === 120 is F9
CSSreloader.reload();
}
});
})();