html {
    -webkit-text-size-adjust: 100%
}

body {
    font-size: 80%;
}

#logo {
    width: 124px !important;
    height: 26px;
    margin-top: 12px;
    margin-bottom: 15px;
}

#logo object {
    width: 124px !important;
}

nav {
    text-align: center;
    float: none;
    margin-bottom: 0;
    margin-top: 1em;
}

nav .far, nav .fas {
    display: none
}

header h1 {
    height: 35px;
}

#cs326 {
    background: url(cs326-small.svg) no-repeat left center;
    margin-top: 0;
    width: 100px;
}

#nameplate {
    padding: 0 0.75em 0 0.75em;
    height: auto;
    text-align: center;
}

article {
    padding: 0 0.75em;
}

code, pre {
    font-size: 95%;
}

pre {
    margin: 0.75em 0;
    padding: 0.25em;
}