Makes the GitHub repo redesign look less bad by reducing padding. Also adds back separators to the file list.
Fra og med 24.06.2020. Se den nyeste version.
Dette er versioner af dette script, hvor koden er blevet opdateret. Vis alle versioner.
