body{
    font-family: sans-serif;
    padding: 0px;
    margin: 0px;
    margin-left: auto;
    margin-right: auto;
    width: 75%;
    max-width: 65em;
    overflow-y: scroll;
    line-height: 1.7;
}


h1 {
    font-size: 25px;
}

h1::before {
    font-size: 200%;
    display: block;
    float:left;
    margin-right: 1ex;
    color: darkgreen;
    content: "🤖 "
}

h2 {
    font-size: 22px;
    clear: both;
}

h3 {
    font-size: 18px;
    clear: both;
}

nav li {
    display: inline;
    margin-left: 1em;
}

nav a:visited, nav a {
    color:darkgreen;
    text-decoration: none;
    font-weight: bold;
    white-space: nowrap;
}

footer {
    text-align: center;
}

section {
    border: 2px solid transparent;
}

section:target {
    border: 2px solid black;
}

h2 > a {
    color: black;
    text-decoration: none;
}

table {
    margin-left: 2em;
}

.title {
    font-style: italic;
}