Makes the GitHub repo redesign look less bad by reducing padding. Also adds back separators to the file list.
À partir de 2020-06-24. Voir la dernière version.
Ceci est la version du script où le code a été mise à jour. Présenter toutes les versions.
