☰

github no header-dark

seamlessly remove .header-dark on github

// ==UserScript==
// @name        github no header-dark
// @description seamlessly remove .header-dark on github
// @namespace   ntauthority.me
// @include     https://github.com/*
// @include     https://gist.github.com/*
// @run-at      document-start
// @version     1
// @require     https://greatest.deepsurf.us/scripts/12228/code/setMutationHandler.js
// @grant       none
// ==/UserScript==
setMutationHandler(document, 'div.header-dark', function(nodes)
{
  this.disconnect();
  const obj = document.querySelector('div.header-dark');
  obj.classList.remove('header-dark');
});