html {
    background: linear-gradient(-64deg, #E0F7FA 1%, #f9f8ef 5%, #B2DFDB 95%);
    width: 100vw;
    min-height: 100vh;
    font-family: monospace;
    font-size: 1.5em;
}

body{
    background: linear-gradient(-64deg, #ffffff70, #ffffffb0);
    padding: 1.5em;
    margin: 10vh auto 1em;
    border-radius: 1em;
    border: 0.25em solid #ffffff99;
    box-shadow: -0.125em 0.125em 0.25em #86c4ac78;
    max-width: 28em;
    user-select: none;
}

input {
    font-size: 0.9375em;
    font-weight: bold;
    cursor: pointer;
    line-height: 1.8em;
    padding: 0 0.25em;
    border-radius: 0.25em;
    box-shadow: -0.125em 0.125em 0.5em #4b816d85;
    border: 0.0675em solid #00000080;
    transition: 0.4s all ease-out;
}

input[type="text"]::placeholder {
    color: #999;
    font-style: italic;
}

input:hover {
    box-shadow: -0.034em 0.0675em 0.25em 0 #2f7259d6;
    border: 0.0675em solid #000000A0;
    transition: 0.2s all ease-out;

}
input[type="submit"], button {
    color: #ffffffe6;
    background: linear-gradient(-64deg, rgb(104 184 177 / 74%), rgb(215 235 229 / 92%));
    border-color: #b4dfdb6b;
    padding: 0em 0.75em;
    transition: 0.4s all ease-out;
}
input[type="submit"]:hover, button:hover {
    color: #ffffffe6;
    background: linear-gradient(-64deg, rgb(16, 110, 190 / 92%), rgb(0, 69, 120 / 92%));
    border: 0.0675em solid #000000A0;
    transition: 0.2s all ease-out;
}

h1 {
    font-size: 2.5em;
    background: linear-gradient(-64deg, #3F51B5, #263238);
    background-clip: text;
    color: transparent;
    font-weight: bold;
    margin-top: 0;
}

dl {
    border: 0.0675em solid rgb(0 69 120 / 15%);
    border-radius: 0.25em;
    padding: 0.5em 1em;
    background: linear-gradient(-64deg, rgb(0 69 120 / 8%), rgb(255 255 255 / 44%));
    margin: 1.5em 0.75em;
    user-select: all;
    box-shadow: -0.1em 0.1em 0.25em #2e6a6617;
    cursor: pointer;
}
dt {
    font-weight: bold;
    color: #334e71;
}

dl.not-found dd {
    color: #FF5722;
    font-style: italic;
}


hr {
    border-bottom: 0.125em solid #fbfbfb;
    border-right: 0.125em solid #fbfbfb;
    border-top: 0.125em solid #E0F2F1;
    border-left: 0.125em solid #E0F2F1;
}