/* Statement and proof bars, as in the leanblueprint template. */
div.theorem_thmcontent, div.proposition_thmcontent { border-left: .15rem solid black; }
div.lemma_thmcontent, div.corollary_thmcontent, div.remark_thmcontent { border-left: .1rem solid black; }
div.proof_content { border-left: .08rem solid grey; }

/* Lists carry the paper's item labels: (i), (a), 1. */
dl.description { display: grid; grid-template-columns: max-content 1fr; column-gap: .6em; margin-left: 1em; }
dl.description dt { font-weight: normal; font-style: normal; }
dl.description dd { margin: 0 0 .3em 0; }