Github_UI_Revert_June2020.user.css

/* ==UserStyle==
@name         Github UI Revert June 2020
@version      1.1.3
@description  Revert the June 2020 Github UI mishap
@namespace    t-e-r-m
@author       t-e-r-m
@homepageURL  https://github.com/t-e-r-m/Github-UI-Revert
@supportURL   https://github.com/t-e-r-m/Github-UI-Revert/issues
@updateURL    https://github.com/t-e-r-m/Github-UI-Revert/raw/master/Github_UI_Revert_June2020.user.css
@license      MIT
@var color bordercolor "Border color" #999999
@var range dirblockwidth "Directory block width" [90, 20, 150, 2, "%"]
==/UserStyle== */

@-moz-document domain("github.com"){
    :root {
        --width: 1200px;
    }

    /* ************Border************ */
    * {
        border-radius: 0 !important;
        border-color: var(--bordercolor) !important;
    }

    /* ************Header************ */
    body:not(.project-full-screen), .is-stuck {
        padding-top: 45px !important;
    }

    .Header {
        padding-left: calc(50% - (var(--width) / 2)) !important;
        padding-right: calc(50% - (var(--width) / 2))  !important;
        height: 40px;
    }

    /* ************Width************ */

    /* For diff pages and the like */
    .container-xl {
        max-width: var(--width) !important;
    }

    /* For the repo name and code/issue.. bar */
    .mb-5.hide-full-screen.pt-3.bg-gray-light {
        padding-left: calc(50% - (var(--width) / 2));
        padding-right: calc(50% - (var(--width) / 2));
        margin-bottom: 16px !important;
        padding-top: 5px !important;
    }

    .UnderlineNav-item {
        padding: 0px 12px 3px 6px;
        border-color: var(--bordercolor) !important;
        border-bottom: 0px;
    }

    /* Status bar above directory block */
    .Box-header {
        padding-top: 7px;
        padding-bottom: 7px;
    }

    /* Directory block */
    .col-md-9 {
        /* width: calc(vmax - (var(--width) / 2)); */
        width: var(--dirblockwidth);
    }

    /* README block */
    .Box-body {
        padding: 15px !important;
    }

    /* ************Buttons************ */
    .btn {
        padding: 3px 7px;
    }

    /* Leftbar / Directory block spacing */
    .gutter-lg > [class*="col-"] {
        padding-right: 0px !important;
    }

    .BorderGrid--spacious .BorderGrid-cell {
        padding-top: 24px;
        padding-bottom: 6px;
    }
}