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

Public
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
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.
Feb 10, 2023, 11:49 PM·Public
0boosts·3favorites
ExploreLive feeds
About