header {
    margin-top: 1.75rem;
    margin-bottom: 2.4rem;

    h1 {
        margin-bottom: 0.9rem;
    }

    a {
        text-decoration: none;
    }

    p {
        font-size: 0.95em;
    }
}

.examples {
    margin-top: 1.25rem;
}

p {
    line-height: 1.52rem;
}

[type=submit],
button {
    max-width: 6.4rem;
    /* Overriding */
    padding: calc(var(--pico-form-element-spacing-vertical) - 0.08rem);
}

.about {
    margin-top: 3.2rem;
    padding: 0.1rem;
}

.acknowledgments {
    margin-top: 1.85rem;
    padding: 0.1rem;
}

.loading {
    font-size: 1.15em;
}

.lexical-items {
    margin-top: 0.85rem;
    th,
    td {
        padding: 0.6rem 0.8rem;
    }
}

/* Sticky footer */
html {
    height: 100%;
}

body {
    min-height: 100%;
    display: flex;
    flex-direction: column;
}

.container {
    flex: 1;
}

footer {
    text-align: right;
    height: 3.8rem;

    span a {
        padding: 0 1rem 0 0.12rem;
    }
}


/* Scale adjustments */
:root {
    --pico-font-size: 100%;
    --pico-line-height: 1.35;
    --pico-form-element-spacing-vertical: 0.6rem;
    --pico-form-element-spacing-horizontal: 0.8rem;
    --pico-border-radius: 0.3rem;
}

h1 {
    --pico-font-size: 1.85rem;
}

h2 {
    --pico-font-size: 1.35rem;
}

h1,
h2,
h3,
h4,
h5,
h6 {
    --pico-font-weight: 550;
}


@media (min-width:950px) {
    .container {
        max-width: 900px;
    }
}

/* Overridings */
@media (min-width:1024px) {
    .container {
        max-width: 900px;
    }
}

@media (min-width:1280px) {
    .container {
        max-width: 900px;
    }
}

@media (min-width:1536px) {
    .container {
        max-width: 900px;
    }
}