Comment réduire la taille du menu ?

Pour gagner en espace de travail et donc en confort, il peut être intéressant, surtout si vous travaillez sur un petit écran, de réduire la largeur de votre menu. Pour cela, rien de plus simple !

Mis à jour le : 12/10/2023