this post was submitted on 04 Jul 2023
9 points (90.9% liked)

Programming.dev Meta

2365 readers
1 users here now

Welcome to the Programming.Dev meta community!

This is a community for discussing things about programming.dev itself. Things like announcements, site help posts, site questions, etc. are all welcome here.

Links

Credits

founded 1 year ago
MODERATORS
[email protected]
[email protected]
9
Made a userstyle to fix the top bar position (userstyles.world)
submitted 1 year ago by [email protected] to c/[email protected]
0 comments fedilink hide all child comments
 

I like having the top bar available at all times (mainly to see notifications), so I made this userstyle. If you're on programming.dev, it should come up with the stylus extension, otherwise you can install it from the link

no comments (yet)
sorted by: hot top controversial new old
there doesn't seem to be anything here