html {
    height: -webkit-fill-available;
    margin: 0;
    padding: 0;
    position: fixed;
    width: 100vw;
}
body {
    font-family: Helvetica, Sans-Serif;
    background-color: #808080;
    display: flex;
    flex-direction: column;
    gap: 5px;
    margin: 0;
    min-height: -webkit-fill-available;
    min-height: 100vh;
    position: fixed;
    width: 100vw;
}
#top-bar {
    display: flex;
    gap: 5px;
    margin: 5px;
    margin-bottom: 0px;
}
input {
    flex-grow: 1;
}
input.error {
    color: red;
}
#dropdown-button {
    font-size: 10pt;
    min-height: 30px;
    min-width: 30px;
}
#main-box {
    position: relative;
    background-color: white;
    flex: 1;
    margin: 5px;
    margin-top: 0px;
}
#output-box {
    bottom: 0;
    left: 0;
    overflow: hidden;
    position: absolute;
    right: 0;
    top: 0;
    z-index: 1;
}
#dropdown-box {
    left: 0;
    overflow: hidden;
    position: absolute;
    right: 0;
    top: 0;
    background-color: rgb(0, 0, 0, 0.5);
    -webkit-backdrop-filter: blur(5px);
    backdrop-filter: blur(5px);
    z-index: 2;
}
#dropdown-box.open {
    transition: max-height 0.30s ease-in;
    max-height: 100%;
}
#dropdown-box:not(.open) {
    transition: max-height 0.30s ease-out;
    max-height: 0;
}
#dropdown-box > form {
    padding-top: 1em;
    padding-bottom: 1em;
}