Revert the new UI's nav title width to the old one.
Ceci est l'ensemble des versions pour ce script. Présenter uniquement les versions où le code diffère.
