/*
Waarschijnlijk eerder de enigste file die niet deftig gedocumenteerd is.
Ach, de kans dat jullie dit bekijken is hoe dan ook klein.
 */

/* Algemeen */

body {
    font-family: 'Linux Libertine','Georgia','Times',serif;
    padding: 0 1.5em 1.5em 1.5em;
    line-height: 1.6;
}

h1 {
    margin-bottom: 0.25em;
    padding: 0;
    line-height: 1.3;
    font-size: 1.8em;
    font-weight: normal;
    border-bottom: 1px solid #a2a9b1;
}

li ul {
    margin: 0.2vh 1ch 0 1ch;
    padding: 0.2vh 1vw;
}

/* Header */

.header img {
    height: 1.8em;
    margin-top: 0.3em;
    float: left;
}

.header p {
    font-size: 92%;
    display: block;
    color: #202122;
    font-family: sans-serif;
}

/* Box */

.box {
    font-family: sans-serif;
    font-size: 95%;

    padding: 7px;
    border: 1px solid #a2a9b1;
    background-color: #f8f9fa;
    color: #202122;

    position: sticky;
    top: 7px;
}

.box p {
    padding: 0;
    margin: 0;
}

#waarschuwing b {
    color: #ba0000;
}

/* Visualisatie */

#visualisatie {
    margin: 0.5em 0;
    font-size: 1em;
}

#visualisatie ul {
    list-style-type: symbols("⬑"); /* alternatieven "↪" "⬉" */
}


ul#wortel {
    padding: 0;
    list-style-type: none;
}

/* Footer */

footer {
    text-align: center;
}

/* Wikipedia-achtige knop */

button {
    cursor: pointer;
    border: none;
    background: none;
    color: #3366bb;
}

button:disabled {
    color: #ba0000;
}

button:hover {
    text-decoration: underline;
}

button:before {
    color: #54595d;
    margin-right: 0.25em;
    content: "[";
}

button:after {
    color: #54595d;
    margin-left: 0.25em;
    content: "]";
}