#download-body {
    --main-color: #f5f5ff;
    border: solid;
    padding-bottom: 20px;
    border-radius: 30px;
    border-color: var(--main-color);
    background-color: var(--main-color);
}

#content {
    margin: auto;
    margin-top: 20pt;
    width: 80%;
    text-align: center;
    font-family: 'Open Sans', sans-serif;
}

h2 {
    font-weight: normal;
}

h3 {
    font-weight: normal;
}

main {
    margin-top: 40pt;
}

.command-box {
    margin: auto;
    width: fit-content;
    border-radius: 5pt;
    padding: 5pt 20pt;
    background-color: dimgrey;
    color: white;
    font-size: 12pt;
    font-family: 'Courier New', Courier, monospace;
}

.command-box pre {
    display: block;
    width: fit-content;
}

.command-box button {
    display: block;
    float: right;
}

.github-fork-ribbon:before {
    background-color: #333;
}