@charset "UTF-8";

/* Embed Font */
@font-face {
    font-family: 'Inter';
    src: url("/assets/InterVariable-884c49a1.woff2") format('woff2');
    font-weight: 100 900;
    font-style: normal;
    font-display: swap;
}

#object-detail section h2 {
    font-size: 20px;
    font-weight: 430;
}

/* Submission form */

#submission li.input:has(+ .example) {
    margin-bottom: 0;
}

#submission details p {
    margin: 1rem 0;
}

#submission .inline-hints {
    font-size: smaller;
}

#submission input[type=submit] {
    margin-top: 1rem;
    padding: 0.5rem 4rem;
    font-weight: 400;
}

#submission .footnote {
    margin-top: 4rem;
    font-size: smaller;
}