Custom Global Nav Tweaks

JunkiEDM
2023-12-03T22:40:54Z

A collection of css tweaks to be used with the "GitHub Custom Global Navigation" UserScript: https://greasyfork.org/en/scripts/478687-github-custom-global-navigation