News for hackers. Stuff that matters.

A comment on Fix the GitHub Dark Menubar. Parent comment

Re:Fix the GitHub Dark Menubar by ehsankia on Saturday February 11, 2017 @05:02PM (#13625099)
Is a full extension to run a single line of JS/CSS really necessary? I feel like for things like this, it makes much more sense to use either greasemonkey or stylish, rather than install a whole browser extension just to remove a single CSS class.
[ Parent | on HN ]
Re:Fix the GitHub Dark Menubar by davewongillies on Saturday February 11, 2017 @05:18PM (#13625176)
And there's already a handful of userstyles to fix this already: https://userstyles.org/styles/browse/github?as=1&sort=create...

My favourite of that bunch makes the navbar just slightly lighter instead of switching back to the old style: https://userstyles.org/styles/138757/better-dark-github-nav

[ Parent | on HN ]
Re:Fix the GitHub Dark Menubar by forthefuture on Saturday February 11, 2017 @05:46PM (#13625305)
More people have chrome than greasemonkey / stylish.
[ Parent | on HN ]