Skip to content

Instantly share code, notes, and snippets.

Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save afontenot/212cfb0e7f8eb90bac683509b6a0c68d to your computer and use it in GitHub Desktop.
Save afontenot/212cfb0e7f8eb90bac683509b6a0c68d to your computer and use it in GitHub Desktop.
/* ==UserStyle==
@name Github redesign fixes
@namespace github.com/openstyles/stylus
@version 1.5.5
@description Fixes various issues with Github's redesign
@author afontenot/LunarTwilight
@preprocessor less
@var color background "Readme header background color" #f1f8ff
@var color border "Readme header border color" #e6e4e4
@var text padding "Amount of padding used on the header" 18vw
==/UserStyle== */
@-moz-document domain("github.com") {
/* Make repo header not full width when the page isn't full width
and snug the contents up to the top of the page */
body.page-blob main,
body.page-responsive main,
body:not(.full-width):not(.notifications-v2) main#js-repo-pjax-container {
> div:first-child {
margin-bottom: 16px !important;
box-shadow: inset 0 -1px 0 #e1e4e8;
> *:not(.repository-content) {
max-width: 1280px !important;
margin-left: auto;
margin-right: auto;
}
}
}
/* Make boxes not as big */
.file-navigation ~ .Box,
.repository-content > .Box {
.Box-header,
.Box-body {
padding-top: 8.5px;
padding-bottom: 8.5px;
}
}
#readme {
.Box-header {
padding-top: 8.5px;
padding-bottom: 8.5px;
}
.Box-body {
padding-bottom: 16px !important;
}
}
/* Snug gist contents up to the top of the page */
.gisthead {
margin-bottom: 16px !important;
}
/* Make readme header have a background */
#readme > .Box-header {
background-color: @background !important;
border-bottom: 1px solid @border !important;
}
body.logged-in > div.js-header-wrapper {
background-color: #24292e !important;
}
body.logged-in header {
max-width: 1280px;
margin-left: auto;
margin-right: auto;
padding-left: 32px !important;
padding-right: 32px !important;
}
header > div.container-xl {
padding-left: 32px !important;
padding-right: 32px !important;
}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment