.blogWrapper-module__Tx71Wq__blog{margin-top:calc(var(--frame)*.5);--blog-pc-padding-right:20px;padding-bottom:50px;padding-right:var(--blog-pc-padding-right);counter-reset:thmCnt;counter-reset:sectCnt;--space-after-env-title:20px}@media (max-width:768px){.blogWrapper-module__Tx71Wq__blog{padding-right:0}}.blogWrapper-module__Tx71Wq__blog h1{margin-bottom:1.5rem;font-size:x-large;font-weight:700}.blogWrapper-module__Tx71Wq__blog h2{counter-increment:sectCnt;counter-set:thmCnt 0;margin-top:1.5rem;margin-bottom:1rem;font-size:large;font-weight:700}.blogWrapper-module__Tx71Wq__blog h2:before{content:"§" counter(sectCnt)". ";padding-right:var(--space-after-env-title);font-weight:700;display:inline-block}:is(.blogWrapper-module__Tx71Wq__blog .thmEnv,.blogWrapper-module__Tx71Wq__blog section,.blogWrapper-module__Tx71Wq__blog h2,.blogWrapper-module__Tx71Wq__blog h3){scroll-margin-top:4rem}:is(.blogWrapper-module__Tx71Wq__blog ul,.blogWrapper-module__Tx71Wq__blog ol){--pd-left:2rem;padding-left:var(--pd-left);counter-reset:liCnt;list-style:none}:is(.blogWrapper-module__Tx71Wq__blog ul,.blogWrapper-module__Tx71Wq__blog ol)>li{counter-increment:liCnt;margin:0;padding:0;position:relative}:is(.blogWrapper-module__Tx71Wq__blog ul,.blogWrapper-module__Tx71Wq__blog ol)>li:before{content:"(" counter(liCnt)")";top:2px;left:calc(-1*var(--pd-left));width:var(--pd-left);position:absolute}.blogWrapper-module__Tx71Wq__blog .thmEnv{counter-increment:thmCnt;border-left:2px solid #888;margin-top:1rem;margin-bottom:1rem;padding-left:.5em;display:block}.blogWrapper-module__Tx71Wq__blog .thmEnv>p:first-child:before{padding-right:var(--space-after-env-title);font-weight:700;display:inline-block}.blogWrapper-module__Tx71Wq__blog .lemma:not([data-title])>p:first-child:before{content:"補題 " counter(sectCnt)"." counter(thmCnt)". "}.blogWrapper-module__Tx71Wq__blog .lemma[data-title]>p:first-child:before{content:"補題 " counter(sectCnt)"." counter(thmCnt)" (" var(--thm-title)"). "}.blogWrapper-module__Tx71Wq__blog .corollary:not([data-title])>p:first-child:before{content:"系 " counter(sectCnt)"." counter(thmCnt)". "}.blogWrapper-module__Tx71Wq__blog .corollary[data-title]>p:first-child:before{content:"系 " counter(sectCnt)"." counter(thmCnt)" (" var(--thm-title)"). "}.blogWrapper-module__Tx71Wq__blog .proposition:not([data-title])>p:first-child:before{content:"命題 " counter(sectCnt)"." counter(thmCnt)". "}.blogWrapper-module__Tx71Wq__blog .proposition[data-title]>p:first-child:before{content:"命題 " counter(sectCnt)"." counter(thmCnt)" (" var(--thm-title)"). "}.blogWrapper-module__Tx71Wq__blog .proof{margin-top:.5rem;margin-bottom:1rem;display:block}.blogWrapper-module__Tx71Wq__blog .proof>p:first-child:before{content:"証明.";padding-right:var(--space-after-env-title);font-weight:700;display:inline-block}.blogWrapper-module__Tx71Wq__blog .proof>p:last-child:after{content:"▩";right:calc(var(--blog-pc-padding-right) + .5*var(--frame));position:absolute}@media (max-width:768px){.blogWrapper-module__Tx71Wq__blog .proof>p:last-child:after{right:calc(.5*var(--frame))}}mjx-container[display]{margin:.2rem 0 .25rem!important}.blogWrapper-module__Tx71Wq__blog mjx-container{pointer-events:none!important;outline:none!important}:is(.blogWrapper-module__Tx71Wq__blog mjx-container:focus,.blogWrapper-module__Tx71Wq__blog mjx-container:active){pointer-events:none!important;background:0 0!important;outline:none!important}