:root {
    --standard-background-color: #ddd;
    --quite-light-background-color: #f8f8f8;
    --standard-border-color: #ccc;
    --standard-border-radius: 4px;
    --standard-text-color: #333;
    --lighter-text-color: #555;
    --standard-padding: 1rem;
    --standard-cell-padding: 0.25rem 0.5rem;
    --medium-cell-padding: 0.5rem 0.5rem;
    --generous-cell-padding: 1rem 0.5rem;

    background: var(--standard-background-color);
    color: var(--standard-text-color);

    line-height: 150%;
    padding-bottom: 4rem;
}

body {
    background: white;
    font-family: monospace;
    overflow-wrap: break-word;
    max-width: 720px;
    margin: auto;
    border-radius: var(--standard-border-radius);
    border: 2px solid #bbb;
    padding-bottom: 2rem;
}

h1 {
    margin: 1.5rem 0;
    line-height: normal;
}

hr {
    margin: 0;
    border: none;
    border-top: 2px dotted #888;
}

pre {
    background: #eee;
    padding: var(--standard-padding);
    border: 1px solid var(--standard-border-color);
    border-radius: var(--standard-border-radius);
    border-radius: var(--standard-border-radius);
    overflow: scroll;
}

dt {
    padding: 0.25rem 0;
    font-weight: bold;
}

summary {
    cursor: pointer;
    font-weight: bold;
    padding: 0.5rem;
}

summary:hover {
    color: var(--lighter-text-color);
}

textarea {
    width: 100%;
    max-width: 100%;
    height: 16rem;
}

button:disabled {
    cursor: not-allowed;
}

code {
    border: 1px solid var(--standard-border-color);
    padding: 2px 4px;
    color: #b44;
    background-color: var(--quite-light-background-color);
    border-radius: var(--standard-border-radius);
}

ul {
    padding-inline-start: 2rem;
}

input[type="radio"] {
    margin-top: -1px;
    vertical-align: middle;
}