Makes the GitHub repo redesign look less bad by reducing padding. Also adds back separators to the file list.
As of 24/06/2020. See the latest version.
These are versions of this script where the code was updated. Show all versions.
