Makes the GitHub repo redesign look less bad by reducing padding. Also adds back separators to the file list.
These are all versions of this script. Show only the versions where the code changed.
