* {
    box-sizing: border-box;
}

h1 {
    color: gray;
    text-shadow: 0 0 10px black;
}

.margintopbottom {
    margin-top: 1rem;
    margin-bottom: 1rem;
}

.margintop10 {
    margin-top: 14rem;
}

.margintop {
    margin-top: 3rem;
}

.margin-1 {
    margin: 1rem;
}

.margin-3 {
    margin: 3rem;
}

.textgray {
    color: gray;
    text-align: center;
    font-weight: bold;
    text-shadow: 0 0 10px black;
}

.paddingleftright {
    padding-left: 2em;
    padding-right: 2em;
}

.alignleft {
    text-align: left;
}

.centered {
    display: flex;
    align-items: center;
    justify-content: center;
    background-color: transparent;
}

body {
    font-family: Arial, Helvetica, sans-serif;
    background-color: rgb(25, 25, 25);
}

/* Style the footer */
footer {
    background-color: rgb(19, 19, 19);
    padding: 30px;
    text-align: center;
    color: gray;
}

.button {
    width: 200px;
    height: 50px;
    font-size: 30px;
}

    .button:hover {
        background-color: green;
        text-decoration: none;
    }

.downloadButton {
    background-color: #252525;
    display: inline-block;
    cursor: pointer;
    color: gray;
    font-family: Arial;
    font-size: 28px;
    padding: 12px 24px;
    text-decoration: none;
    margin: 40px;
    box-shadow: 0 0 5px black;
}

    .downloadButton:hover {
        background-color: green;
        color: white;
    }

    .downloadButton:active {
        position: relative;
        top: 1px;
    }

/* Responsive layout - makes the two columns/boxes stack on top of each other instead of next to each other, on small screens */
@media (max-width: 600px) {
    nav,
    article {
        width: 100%;
        height: auto;
    }
}