Makes the GitHub repo redesign look less bad by reducing padding. Also adds back separators to the file list.
Per
/* ==UserStyle==
@name Fixed GitHub Repo View
@version 1.0.0
@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
==/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;
}