Makes the GitHub repo redesign look less bad by reducing padding. Also adds back separators to the file list.
נכון ליום 24-06-2020. ראה הגרסה האחרונה.
יש גרסאות של סקריפט זה עם קוד מעודכן. הצג את כל הגרסאות
