The buttons should now be the correct size in regards of the outer div,
even when the page is resized.

Before, for some page size, when there was just not enough space for one
button more, the outer div was shrunk, but the button was not, hence
producing an overflow of the button, which was not nice to see.