Makes the GitHub repo redesign look less bad by reducing padding. Also adds back separators to the file list.
Versión del día 24/06/2020. Echa un vistazo a la versión más reciente.
A continuación se muestran las versiones de este script en las que se actualizó el código. Ver todas las versiones.
