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