Makes the GitHub repo redesign look less bad by reducing padding. Also adds back separators to the file list.
Versão de: 24/06/2020. Veja: a última versão.
Estas são as versões deste script em que houve atualização do código. Mostar todas versões.
