body {
    background-color: rgba(248, 244, 253, 1); 
    /*background-color: white;*/
    /* font-family: 'DejaVuSansMono'; */
    font-size: 2em;
}

.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, '.') ' - ';
}



.dotted-rule {
    border:1pt black solid;
    padding:0.2ch;
    border-radius: 0.5ch;
}


.dk-nonterminal {   
    border: 1pt black solid;
	padding: 0.2ch;
	padding-left: 1ch;
	padding-right: 1ch;
	border-radius: 2ch;
	display: inline-block;
}