/* Source Themes Academic v4.4.0 | https://sourcethemes.com/academic/ */
#TableOfContents ul ul{display:block;padding-left:1rem}#TableOfContents ul ul ul{display:none}.toc-top li a{font-size:.8rem}.prooftomb:after{content:"\220E"}.prooftomb{width:.8rem;font-size:120%;font-weight:900}.proofbody{flex:1}.proofbody p:last-child,.thmbody p:last-child{margin-bottom:0}.proofbodycontainer{display:flex;align-items:flex-end;border-left:.1rem solid lightgrey;margin-left:.2rem;padding-left:.5rem}.proof{margin-top:.5rem;margin-bottom:.5rem}.thmlike{margin-top:.5rem;margin-bottom:.5rem;counter-increment:theorem}.proofheader{font-style:italic}.prooflabel{border-bottom:.1rem solid lightgrey}.thmheader{font-weight:700}.thmtype{font-variant:small-caps;border-bottom:.1rem solid lightgrey}.thmtype:after{content:counter(theorem)}.thmbody{border-left:.1rem solid lightgrey;margin-left:.2rem;padding-left:.5rem}