html {
    font-family: Arial, Helvetica, sans-serif;
    font-size: 200%;
    background-color: #D3C1F1;
}

button {
    font-size: 100%;
    cursor: pointer;
}

header {
    background-color: skyblue;
    color: white;
    display: flex;
}

header > section > span {
    cursor: default;
}

header > section > div {
    background-color: skyblue;
    width: auto;
    display: flex;
    flex-direction: column;
    visibility: hidden;
    height: 0px;
}

#FileButton > button, #OrdinaryFunctionsButton > button, #OtherFunctionsButton > button {
    text-align: left;
    background-color: skyblue;
    color: white;
    border: none;
    padding: 0px;
}

#uploadForm {
    background-color: skyblue;
    color: white;
    visibility: hidden;
    position: absolute;
    padding: 1%;
    border-radius: 0.5em;
    left: 50%;
    top: 50%;
    transform: translate(-50%, -50%);
}