The issue has been closed

"Enhanced" recently-pushed branches box is the wrong color with GitHub Dark style #3674

dgw posted onGitHub

This issue is a combination of updated styles from GitHub (see StylishThemes/GitHub-Dark#1236, but I wasn't sure until now if the fix for that had also fixed this) and the recently-pushed-branches-enhancements feature from Refined GitHub.

Without RGH:

With RGH (and the recently-pushed-branches-enhancements feature enabled):

I can't really link to a page that shows this issue, but I think the maintainers of this extension probably push code often enough that they'll be able to reproduce really quickly! 😁

I'm honestly not sure "who" was responsible for correctly styling the box when it gets moved to the header, but in the interest of covering all bases I also submitted StylishThemes/GitHub-Dark#1242.

The feature was not changed at least since July, so this is likely due to new styles in GitHub Dark

posted by fregante over 4 years ago

The feature was not changed at least since July, so this is likely due to new styles in GitHub Dark

Since GitHub recently changed to use CSS vars that are only available to logged in users (for some reason). This is still causing havoc in GHD but all refined GH stuffs are generated so as long as there are primer classes in use by refined GH then it will eventually sort itself out, that or manual overrides.

posted by the-j0k3r over 4 years ago

Fund this Issue

$0.00

Funded

Pull requests

"Enhanced" recently-pushed branches box is the wrong color with GitHub Dark style #3674

Company

Community

Support

Connect