Shrink buttons a little.
Shrink buttons a little.

Part of #54.


Former-commit-id: 4e51c6e439e048b14627de6590c012b060e515ef
guilherme-pg/citationhunt,guilherme-pg/citationhunt,eggpi/citationhunt,eggpi/citationhunt,guilherme-pg/citationhunt,eggpi/citationhunt,eggpi/citationhunt,guilherme-pg/citationhunt