Makes the GitHub repo redesign look less bad by reducing padding. Also adds back separators to the file list.
Ekde 2020/06/24. Vidu La ĝisdata versio.
Ili estas versioj de tiu ĉi skripto, kie la kodo estas ĝisdatigita. Montri ĉiujn versiojn