archlinux.org - Thinner navbar by PatchMixolydic

/* ==UserStyle==
@name         archlinux.org - Thinner navbar
@version      20230723.19.41
@namespace    ?
==/UserStyle== */

@-moz-document domain("archlinux.org") {
body.skin-vector-legacy div#mw-head, body.skin-vector-legacy .mw-header {
    top: 47px;
}

/* these weird selectors are necessary for the wiki */
html > body #archnavbar {
    /* literally everything is marked as !important in the original stylesheet */
    height: 30px !important;
    min-height: 30px !important;
    padding: 6px !important;
}

html > body #archnavbarlogo, html > body #archnavbarlogo a {
    background-size: contain !important;
    height: 30px !important;
}

html > body #archnavbarlist li {
    line-height: 14px !important;
    margin-bottom: 0;
    padding-top: 5px !important;
}

html > body.mediawiki #archnavbarlist li  {
    padding-top: 8px !important;
}

}