body {
    background-color: rgb(230,255,240);
}


#link-to-overview, #link-to-toc {
    background-color: rgb(230,255,240);
}


.alert-warning {
    border: 1pt solid darkgray;
    border-radius: 0.3em;
    margin-bottom: 2em;
    margin-top:1em;
    color: black;
}

.example {
    background-color:cornsilk;
}



dummy {
    background-color: azure;
}