GitHub Repo View Tweaks

Makes the GitHub repo redesign look less bad by reducing padding. Also adds back separators to the file list.

As of 24.06.2020. See ბოლო ვერსია.

/* ==UserStyle==
@name         GitHub Repo View Tweaks
@version      1.0.2
@description  Makes the GitHub repo redesign look less bad by reducing padding. Also adds back separators to the file list.
@author       udf (https://github.com/udf)
@namespace    https://udf.github.io
@match        https://github.com
==/UserStyle== */

/* Header bottom padding */
.pagehead {
    margin-bottom: 16px !important;
}

/* Navigation tabs */
.UnderlineNav-item {
    padding: 4px 16px;
}

/* File list heading */
.Box-header {
    padding: 8px 16px;
}

/* Make links to files in list blue */
.Box-row .link-gray-dark {
    color: #0366d6 !important;
}

/* Add back file list separators */
.Box-row + .Box-row {
    border-top: 1px solid #eaecef !important;
}

/* Fix list icon right padding */
.Box-row>div:first-child {
    margin-right: 6px !important;
}