freedesktop.org, but slightly more readable by kota

/* ==UserStyle==
@name           freedesktop.org - 10/29/2022, 4:58:58 PM
@namespace      github.com/openstyles/stylus
@version        1.0.0
@description    A new userstyle
@author         Me
==/UserStyle== */
@-moz-document domain("www.freedesktop.org") {
    html {
        font-family: sans-serif;
        color: #080808;
    }
    body {
        max-width: 920px;
        margin: 0 auto;
        padding: 1rem;
    }
    .pagebody {
        line-height: 1.3;
    }


    .logo {
        display: none;
    }
    .pageheader {
        background: none;
        border-color: #080808;
        border-width: 3px;
    }
    .pageheader .actions {
        display: none;
    }
    .headerpath {
        font-family: mono;
    }
    #searchform {
        margin: 0;
    }
    input#searchbox {
        font-family: mono;
        background: none;
        background-color: #fff;
        padding: 0.2em;
        box-shadow: none;
        display: flex;
    }
}