body {
    font-family:
        "IBM Plex Sans",
        system-ui,
        -apple-system,
        BlinkMacSystemFont,
        "Segoe UI",
        Roboto,
        Oxygen,
        Ubuntu,
        Cantarell,
        "Open Sans",
        "Helvetica Neue",
        sans-serif;
}

main {
    line-height: 1.5em;
    margin: 0 2em;
    overflow-y: auto;
}

h1 {
    line-height: 1.5em;
}

hr {
    margin-top: 1em;
    margin-bottom: 1em;
}

span.light {
    font-weight: 300;
}

details > summary {
    line-height: 1.5em;
}

ul {
    line-height: 1.5em;
}

pre.giallo {
    padding: 1em;
}

thead {
    background-color: #ddd;
}

tr:hover {
    background-color: #eee;
}