Réduis la taille des options de Settings

Afin qu'elles s'intègrent mieux à la nouvelle hauteur des options.