Tweak the box-resizing a bit.

This change should make the widgets inside a window resize a bit more
predictably. Still not perfect, but better than before.