.Xdefaults: Smaller default terminal windows