GitHub reveal header
A userscript that reveals the header when hovering near the top of the screen
- When the mouse is near the top of the viewport, the header will slide down and allow interaction.
- Once the mouse is moved away from the top or out of the viewport, the header will slide up out of view.
- This userscript was created to replace the GitHub-FixedHeader userstyle (requires Stylus) in which the header is always visible and fixed at the top of the viewport - it fulfills this feature request.
- Click this link to install from GitHub; or, install from GreasyFork or OpenUserJS.
- Update to use new header class.
- Initial commit