Makes the GitHub repo redesign look less bad by reducing padding. Also adds back separators to the file list.
Voici les versions de ce script où le code a été modifié. Voir toutes les versions.
