Makes the GitHub repo redesign look less bad by reducing padding. Also adds back separators to the file list.
/* ==UserStyle==
@name GitHub Repo View Tweaks
@version 1.0.5
@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== */
@document domain("github.com") {
/* Header bottom padding */
.pagehead {
margin-bottom: 16px !important;
}
/* Navigation tabs */
.UnderlineNav-item {
padding: 4px 16px;
}
.Box-header {
padding: 8px 16px;
}
/* File view header */
.Box-header.py-2 {
padding: 6px 16px !important;
}
.Box-body {
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;
}
}