search

DennisSnijder / MakeGithubGreatAgain

Extension for making GitHub great again
https://chrome.google.com/webstore/detail/makegithubgreatagain/gpejlkhibgecggplgogpbgbdpnhogmhk
1.05k stars 50 forks source link

Fixes for recent changes to site CSS #72

Closed joeytwiddle closed 5 years ago

joeytwiddle commented 5 years ago

It seems our header isn't working when not logged in. And a couple of things are off when logged in too.

This PR tries to fix those.