Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mastodon.gamedev.place is one of the many independent Mastodon servers you can use to participate in the fediverse.
Mastodon server focused on game development and related topics.

Administered by:

Server stats:

5.6K
active users

mastodon.gamedev.place: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.6

Vadym

I made a little userstyle that compacts Mastodon notifications slightly!

userstyles.world/style/7405/co

Works with both default and advanced web interfaces.

#CSS#userstyle
Nov 21, 2022, 12:12 AM·Public
0boosts·7favorites
Public
Vadym

I updated this a little to have options UI and also to be able to compress headers/attachment lists!

A screenshot of the default Notifications column next to one with userstyle applied, fitting 5 and 9 notifications respectively.
ExploreLive feeds
About