☰

github no header-dark

seamlessly remove .header-dark on github

  1. // ==UserScript==
  2. // @name        github no header-dark
  3. // @description seamlessly remove .header-dark on github
  4. // @namespace   ntauthority.me
  5. // @include     https://github.com/*
  6. // @include     https://gist.github.com/*
  7. // @run-at      document-start
  8. // @version     1
  9. // @require     https://greatest.deepsurf.us/scripts/12228/code/setMutationHandler.js
  10. // @grant       none
  11. // ==/UserScript==
  12. setMutationHandler(document, 'div.header-dark', function(nodes)
  13. {
  14.   this.disconnect();
  15.   const obj = document.querySelector('div.header-dark');
  16.   obj.classList.remove('header-dark');
  17. });