body {
    font-family: 'Courier New', Courier, monospace;
    font-size: larger;
}

dfn {
    font-style: normal;
    text-decoration: underline;
    text-decoration-style: dotted;
  }

body > div {
    margin: 1em;
}

.header {
    display: flex;
    flex-direction: row;
    /* align-items: baseline;
    justify-content: space-between; */

    border-bottom-style: solid;
    border-bottom-width: thin;
    border-bottom-color: black;
    padding-bottom: 0.5em;
}


/* We want things centered vertically */
.header-element {
    display: flex;
    flex-direction: column;
    justify-content: center;
    margin-left: 1em;
}


/* Title */
.header-element > h1 {
    font-size: larger;
    margin-top: 0.2em;
    margin-bottom: 0.2em;
}

.header-element > h1 > a:link {
    text-decoration: none;
    color: black;
}

.header-element > h1 > a:visited {
    text-decoration: none;
    color: black;
}


/* Subtitle */
.header-element > h2 {
    font-size: small;
    margin-top: 0.2em;
    margin-bottom: 0.2em;
}


/* Analysis section */
details {
    margin: 0.5em;
}
summary {
    /* background-color: #fbfbfb; */
    font-weight: bold;
}

.analysis {
    display: flex;
    flex-direction: row;
    flex-wrap: wrap;
    align-items: baseline;
}


/* We want things centered vertically */
.analysis-section {
    margin: 0.5em;
}

.footer {
    font-size: small;
    display: flex;
    flex-direction: row-reverse
}