.hidden {
    display: none;
}

button.red {
    --pico-primary-background: #a31313;
    --pico-primary-border: #a31313;
    --pico-primary-hover-background: #be0f0f;
    --pico-primary-hover-border: #be0f0f;
}