* {
    box-sizing: border-box;
}

body {
    max-width: 48rem;
    margin: 2rem auto;
    padding: 0 1rem;
    font-size: 12px;
    /* Match the browser's default monospace (same font <pre> uses on the
       publications page). Doubling the keyword avoids the quirk where a lone
       "monospace" also drops to the smaller default monospace size. */
    font-family: monospace, monospace;
    line-height: 1.7;
    color: #333;
}

a {
    color: #1f6feb;
}

a:hover,
a:focus {
    color: #0a4bc0;
}

.cols {
    display: grid;
    grid-template-columns: 1fr 1fr;
    gap: 2rem;
}

@media (max-width: 40rem) {
    .cols {
        grid-template-columns: 1fr;
    }
}