[mixmastamyk]

The root problem is the mismatch between the resolution and physical size of your monitor.

Try a smaller 4k monitor, no bigger than 24". Then, it's not "too big."

https://news.ycombinator.com/item?id=35876743

[givemeethekeys]

Thanks! Yeah, I have a 24". I tried to scale it down some more with an xrandr setting, but the result is somewhat janky.

Cinnamon has a more gradual setting in beta, but the implementation isn't complete yet - the menus don't adjust well - I'm guessing there are some other GTK related quirks to iron out.