Makes the GitHub repo redesign look less bad by reducing padding. Also adds back separators to the file list.
Fra 24.06.2020. Se den seneste versjonen.
Dette er versjoner av dette scriptet hvor koden ble oppdatert. Vis alle versjoner.