header {
    position: fixed;
    z-index: 9999;
    top: 0;
    width: 100%;
}

header div {
    text-align: left;
}

header div a {
    display: inline-block;
    width: 244px;
    height: 44px;
    margin: 0;
    padding: 5px;
    color: transparent;
    background-image: url("/static/img/header.png");
    background-size: auto 44px;
    background-repeat: no-repeat;
    background-position: center;
}

header input {
    z-index: 1;
    position: absolute;
    width: 32px;
    height: 32px;
    top: 9px;
    right: 8px;
    opacity: 0;
    cursor: pointer;
}

#menu_button {
    z-index: 0;
    position: absolute;
    width: 32px;
    height: 24px;
    top: 16px;
    right: 10px;
    display: flex;
    flex-direction: column;
    justify-content: space-between;
    transition: transform 0.2s ease-in-out;
}

#menu_button .line {
    display: block;
    height: 3px;
    width: 100%;
    border-radius: 10px;
    background: #eeca43;
}

#menu_button .line1 {
    transform-origin: 0% 0%;
    transition: transform 0.3s ease-in-out;
}

#menu_button .line2 {
    transition: transform 0.1s ease-in-out;
}

#menu_button .line3 {
    transform-origin: 0% 100%;
    transition: transform 0.3s ease-in-out;
}

header input:checked ~ #menu_button {
    transform: translatex(6px);
}

header input:checked ~ #menu_button .line1 {
    transform: rotate(45deg);
}

header input:checked ~ #menu_button .line2 {
    transform: scaleY(0);
}

header input:checked ~ #menu_button .line3 {
    transform: rotate(-45deg);
}

header nav {
    position: absolute;
    background-color: #2f874c;
    border-right: 5px solid #309ac4;
    border-radius: 0 0 0 0.6em;
    padding-bottom: 0.6em;
    transition: right 0.3s ease-in-out;
    right: -100%;
}

header input:checked ~ nav {
    right: 0;
}

#home {
    display: none;
}

header nav ul {
    margin: 0;
    padding: 0;
    list-style: none;
}

header nav a,
header nav span {
    display: block;
    color: white;
}

header nav a {
    padding: 0.8em 3em;
}

header nav span {
    background-color: #309ac4;
    margin-left: 0.6em;
    padding: 0.8em 3em 0.8em 2.4em;
    border-radius: 0.6em 0 0 0.6em;
}

main {
    padding: 0 1em 1em;
}

body {
    padding-top: 52px;
}

:target {
    padding-top: calc(52px + 0.8em);
}

img.right {
    display: block;
    margin: 1em auto 1em auto;
}

table.checksums, table.older_versions {
    margin-left: 1em;
}

#latest_news dd {
    margin-left: 1.2em;
    margin-bottom: 0.5em;
}