Deleting comments

Posted Sep 4, 2017 23:14 UTC (Mon) by flussence (guest, #85566)
In reply to: Deleting comments by mgedmin
Parent article: Day: Status Icons and GNOME

Usually I'd put up with the minor detour (this situation is thankfully rare on this site), but seeing this thread prompted me to do something. So, here's a usercss to keep the menu in view if anyone else wants it:

.topnav-container { position: sticky; top: -.3em }