Make default window smaller

Fixes #5.