/* Base elements */
html, body {
    height: 100%;
    margin: 0;
    padding: 0;
}

body {
    color: black;
}

main {
    /* Flex-based footer positioning, taken from https://stackoverflow.com/a/12253099 */
    display: flex;
    flex-direction: column;
    min-height: 100%;
}

#contents {
    flex: 1;

    margin-top: 5rem;
    margin-bottom: 5rem;
}

noscript p {
    color: red;
    font-weight: bold;
}

.hidden {
    display: none !important;
}


/* Header */
header .container {
    text-align: center;
}


/* Footer */
footer {
    margin-bottom: 3rem;
}

#footerVersion {
    float: right;
}


/* Make arrow next to dropdown visible */
select {
    -webkit-appearance: menulist;
    -moz-appearance: menulist;
    appearance: auto;
}