Grumpy Website

nikitonsky: System dropdown menu on macOS 10.15 (left) takes less vertical space compared to macOS 12 (right), despite right Macbook having higher pixel density (254 vs 225 dpi)

Thanks @grishka for the pictures