sindresorhus/refined-github

The issue has been closed
diffbar takes more height than available in PR toolbar #2477
trivikr posted onGitHub
Steps to reproduce:
- Visit any PR in which diff requires scrolling the page.
- Switch to diff tab, and scroll the page.
- Notice that when refined-github is enabled, diffbar takes more height than it's parent PR toolbar
refined-github disabled:
refined-github enabled: