☰

GitHub Reveal Header

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

Maker
Mottie
Dagelijks aantal installaties
0
Totaal aantal installaties
54
Beoordelingen
3 0 0
Versie
0.1.4
Gemaakt op
04-06-2017
Bijgewerkt op
17-02-2024
Licentie
MIT
Wordt toegepast op

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.

Hosted with ♥ at GitHub