body {
    background-color: rgba(244, 235, 252,0.6); 
    /* background-color: white; */
}

.theorem {
    /* background-color: azure;  */
}


ol.nested {
    counter-reset: item;
    list-style-type: none;
}

ol.nested>li {
    counter-increment: item;
}

ol.nested>li::before {
    content: counters(item, '.') ' - ';
}
