GitHub Reveal Header

A userscript that reveals the header when hovering near the top of the screen

ئاپتورى

Mottie

بۈگۈن قاچىلانغىنى

جەمئىي قاچىلانغىنى

باھا نومۇرى

3 0 0

نەشرى

0.1.4

قۇرۇلغان ۋاقتى

2017-06-04

يېڭىلانغان ۋاقتى

2024-02-17

Size

5.9 KB

ئىجازەتنامىسى

MIT

قوللايدىغىنى

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.