Skip to content

Conversation

@artusm
Copy link
Contributor

@artusm artusm commented Aug 19, 2020

@fregante
Copy link
Member

We should avoid using !important where possible so other extension/userstyles can override them easily

@fregante fregante merged commit 8aa64ad into refined-github:master Aug 24, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Development

Successfully merging this pull request may close these issues.

Highlight a PR's base branch if it's not the default

3 participants