Is there a "compact" option like gmail?

[notriddle (Michael Howell)]

In Admin → Customize → Themes, you could create a theme that they could pick. There’s not a compact theme in the default set, but you’d do it there.

Then you could pick it in Preferences → Interface → Theme.