* {
    padding: 0;
    margin: 0;
    box-sizing: border-box;
}

body {
    font-family: Verdana, Geneva, Tahoma, sans-serif;
    font-size: 0.9rem;
    display: block;
    margin: 0 auto;
    max-width: 1000px;
    padding: 0 15px;
    min-width: 350px;
}

a {
    color: blue;
    cursor: pointer;
}

li {
    list-style-type: none;
}

header {
    display: block;
    padding: 15px;
    background-color: darkgreen;
    border: solid 2px black;
    border-top: none;
    border-radius: 0 0 25px 25px;
}

header > h1 {
    text-align: center;
    font-size: 1.8rem;
    color: yellow;
}

header > nav {
    display: flex;
    gap: 5px;
    flex-wrap: wrap;
    padding-top: 15px;
}

header > nav > a {
    background-color: darkgray;
    padding: 10px;
    border-radius: 8px;
}

header > nav > a:hover {
    background-color: gray;
}

header > nav > .active {
    background-color: gray;
}

main, pre, .example {
    padding: 20px;
    border: solid 2px black;
    border-radius: 25px;
    margin: 25px 0;
    
}

main > section {
    margin: 25px 0;
}

pre {
    color: white;
    background-color: rgb(36, 35, 62);
    font-family: monospace;
    font-size: 10pt;
    overflow-x: scroll;
}

footer {
    display: flex;
    align-items: center;
    min-height: 50px;
    border: solid 2px black;
    border-bottom: none;
    background-color: darkgreen;
    border-radius: 25px 25px 0 0;
}

footer > ul {
    display: flex;
    flex-direction: row;
    padding: 0 15px;
    gap: 10px;
    flex-wrap: wrap;
}

nav a, footer a {
    color: black;
    cursor: pointer;
    text-decoration: none;
    font-weight: 600;
}

nav a:hover, footer a:hover {
    text-decoration: underline;
}

header, footer {
    user-select: none;
}

.example {
    display: flex;
    justify-content: center;
    background-color: lightgray;
    border-color: darkred;
    word-break: normal;
    overflow-wrap: anywhere;
}

details {
    cursor: pointer;
    border: 1px solid grey;
    border-radius: 4px;
    padding: 7px 7px 0 7px;
}

summary {
    font-weight: bold;
    margin: -7px -7px 0 -7px;
    padding: 7px;
}

summary::marker {
    color: cyan;
}

details[open] {
    padding: 7px;
}

details[open] summary {
    border-bottom: 1px solid grey;
    margin-bottom: 7px;
}

.definition {
    margin: 15px 0;
}