The issue has been closed
<!--
Thanks for reporting a bug! â›°
1. Make sure the bug is caused by Refined GitHub. Try disabling the extension first.
2. Include a full URL where the bug appears.
3. Include a screenshot/gif
Issues without a URL/screenshot will be closed
-->
Screenshot attached, for Refined GitHub disabled and enabled. The search box is huge on issues pages.
Refined GitHub disabled:

Refined GitHub enabled:


(Pull requests page as well)
posted by pdonias over 5 years ago
The error boils down to the rules in source/features/widen-search-field.css@6cc38da#L1-L10 which were added 5 months ago, so this might be caused by a CSS change on GitHub's end.
Quick and dirty workaround (which disables the automatic expansion of the search field, though):
.subnav,
.subnav-search,
.subnav-search-input,
.subnav [role='search'],
.page-content .subnav > .float-right { /* Global search field container */
flex-grow: unset !important;
display: unset !important;
}
A proper fix is far beyond my CSS skillset :-)
posted by rfc1459 over 5 years ago
posted by mobilutz over 5 years ago