Makes the GitHub repo redesign look less bad by reducing padding. Also adds back separators to the file list.
Per 24-06-2020. Zie de nieuwste versie.
Dit zijn versies van het script waarin de code is bijgewerkt. Alle versies tonen.
