Make the menu smaller.
Merge pull request #27 from robertbrockie/misc

Make the menu smaller.