@import url(https://fonts.googleapis.com/css?family=IBM+Plex+Serif&display=swap);
@import url(https://fonts.googleapis.com/css?family=EB+Garamond&display=swap);

body {
    margin: auto;
    padding-right: 5em;
    padding-left: 5em;
    max-width: 40em;
    color: black;
    font-family: "EB Garamond", serif;
    font-size: 100%;
    line-height: 140%;
    color: #333;
}

h1, h2, h3, h4, h5 { font-family: "EB Garamond";
                     font-weight: bold;
                     border-bottom: 1px dotted black;
                     color: #B22222; }
h1 {
        font-size: 140%;
}

h2 {
        font-size: 120%;
}

h3 {
        font-size: 110%;
}

h4 {
        font-size: 105%;
}

h5 {
        font-size: 100%;
}

h1.title {
        font-size: 200%;
        font-weight: bold;
        padding-top: 0.2em;
        padding-bottom: 0.2em;
        text-align: left;
        border: none;
}


a {
    color: #444;
}

details summary {
    list-style: none;
    cursor: pointer;
    color: #333;
}
details summary::-webkit-details-marker {
    display: none;
}
details summary::after {
    content: " ▾";
}
details[open] summary::after {
    content: " ▴";
}
details .abstract {
    margin-top: 0.5em;
    padding: 0.75em 1em;
    border-left: 2px solid #ccc;
    font-size: 95%;
    color: #555;
}