Reduce spacing between child widgets. We need to do this since we're running out of screen width on 800x600, esp. since the Tool Box now extends all the way down into the bottom-left corner.