Thinner github.com

Revert the new UI's nav title width to the old one.

Voici les versions de ce script où le code a été modifié. Voir toutes les versions.