Makes the GitHub repo redesign look less bad by reducing padding. Also adds back separators to the file list.
Version vom 24.06.2020. Aktuellste Version
Das sind Skriptversionen, bei denen der Quelltext aktualisiert wurde. Alle Versionen anzeigen.
