For anyone that likes sticky navbars

I found myself wishing the website had a sticky navbar on desktop, so I made a Tampermonkey script to do just that. Sharing this in case anyone else was looking for something similar.

To use, just open this link with Tampermonkey installed, and you should be prompted to install it.
https://ewp.fyi/tilde-tweaks/sticky-navbar.user.js