/* */
@charset "UTF-8";/*!
Theme: Reach
Author: Hatena Blog Team
Responsive: yes
*//*! normalize.css v2.1.0 | MIT License | git.io/normalize */article,aside,details,figcaption,figure,footer,header,hgroup,main,nav,section,summary{display:block}audio,canvas,video{display:inline-block}audio:not([controls]){display:none;height:0}[hidden]{display:none}html{font-family:sans-serif;-webkit-text-size-adjust:100%;-ms-text-size-adjust:100%}body{margin:0}a:focus{outline:thin dotted}a:active,a:hover{outline:0}h1{font-size:2em;margin:.67em 0}abbr[title]{border-bottom:1px dotted}b,strong{font-weight:700}dfn{font-style:italic}hr{box-sizing:content-box;height:0}mark{background:#ff0;color:#000}code,kbd,pre,samp{font-family:monospace,serif;font-size:1em}pre{white-space:pre-wrap}q{quotes:"“" "”" "‘" "’"}small{font-size:80%}sub,sup{font-size:75%;line-height:0;position:relative;vertical-align:baseline}sup{top:-.5em}sub{bottom:-.25em}img{border:0}svg:not(:root){overflow:hidden}figure{margin:0}fieldset{border:1px solid #c0c0c0;margin:0 2px;padding:.35em .625em .75em}legend{border:0;padding:0}button,input,select,textarea{font-family:inherit;font-size:100%;margin:0}button,input{line-height:normal}button,select{text-transform:none}button,html input[type=button],input[type=reset],input[type=submit]{-webkit-appearance:button;cursor:pointer}button[disabled],html input[disabled]{cursor:default}input[type=checkbox],input[type=radio]{box-sizing:border-box;padding:0}input[type=search]{-webkit-appearance:textfield;box-sizing:content-box}input[type=search]::-webkit-search-cancel-button,input[type=search]::-webkit-search-decoration{-webkit-appearance:none}button::-moz-focus-inner,input::-moz-focus-inner{border:0;padding:0}textarea{overflow:auto;vertical-align:top}table{border-collapse:collapse;border-spacing:0}.clearfix{display:block;*zoom: 1}.clearfix:after{display:block;visibility:hidden;font-size:0;height:0;clear:both;content:"."}.inline-block{display:inline-block;*display: inline;*zoom: 1}.border-box{-ms-box-sizing:border-box;box-sizing:border-box}.ellipsis{white-space:nowrap;-webkit-text-overflow:ellipsis;text-overflow:ellipsis;overflow:hidden}html,body{font-family:Helvetica Neue,Helvetica,Arial,Hiragino Kaku Gothic Pro,Meiryo,MS PGothic,sans-serif;color:#555}body{background-color:#e2e2e2;background-image:url(https://cdn.blog.st-hatena.com/css/theme/reach/images/bg.png?version=22f3cada4c2c30955d90dee0ad651e);background-repeat:repeat}.customized-background-image{background-size:inherit!important}a{color:#429bb2}a:hover{color:#328094}a:visited{color:#789dae}h1 a,h2 a,h3 a,h4 a,h5 a,h6 a,h1 a:hover,h2 a:hover,h3 a:hover,h4 a:hover,h5 a:hover,h6 a:hover,h1 a:visited,h2 a:visited,h3 a:visited,h4 a:visited,h5 a:visited,h6 a:visited{color:#333;text-decoration:none}a.keyword{text-decoration:none;border-bottom:1px dotted #d5d5d5;color:#555}.btn{display:inline-block;*display: inline;*zoom: 1;padding:4px 10px;margin-bottom:0;line-height:18px;color:#555;background-color:#fff;border:1px solid #d5d5d5;text-align:center;vertical-align:middle;cursor:pointer;font-size:12px;text-decoration:none;font-weight:700;text-decoration:none!important;-webkit-border-top-right-radius:2px;-webkit-border-bottom-right-radius:0;-webkit-border-bottom-left-radius:0;-webkit-border-top-left-radius:0;-moz-border-radius-topright:2px;-moz-border-radius-bottomright:0;-moz-border-radius-bottomleft:0;-moz-border-radius-topleft:0;border-radius:2px;-moz-background-clip:padding;-webkit-background-clip:padding-box;background-clip:padding-box}.btn:hover{text-decoration:none!important;color:#429bb2}.btn-primary{background-color:#429bb2;color:#fff;font-weight:400;border:1px solid transparent}.btn-primary:hover{background-color:#328094;color:#fff}.btn-small{padding:2px 10px!important;font-size:11px!important}.btn-large{padding:13px 19px;font-size:17px;line-height:normal;font-weight:700}#globalheader-container{background-color:#333!important;color:#fff;position:sticky;top:0;width:100%}#container{margin-bottom:30px}#content{width:960px;margin-left:auto;margin-right:auto;display:block;*zoom: 1}#content:after{display:block;visibility:hidden;font-size:0;height:0;clear:both;content:"."}#main{width:620px;float:right}#box2{width:320px;float:left}#blog-title{margin:0 0 20px;padding:30px 0;background:#fff;border-bottom:1px solid #d5d5d5;line-height:1.3}#blog-title-inner{width:960px;margin-left:auto;margin-right:auto}#title{margin:0;font-size:160%}#title a{color:#429bb2}#blog-description{font-weight:400;font-size:80%;margin:5px 0 0;line-height:1.5}.header-image-enable #blog-title{margin:20px auto;padding:0;width:960px;border-bottom:none}.header-image-enable #blog-title-inner{width:958px;background-color:#fff;-webkit-border-top-right-radius:4px;-webkit-border-bottom-right-radius:0;-webkit-border-bottom-left-radius:0;-webkit-border-top-left-radius:0;-moz-border-radius-topright:4px;-moz-border-radius-bottomright:0;-moz-border-radius-bottomleft:0;-moz-border-radius-topleft:0;border-radius:4px;-moz-background-clip:padding;-webkit-background-clip:padding-box;background-clip:padding-box;border:1px solid #d5d5d5}.header-image-enable #title{padding-top:70px}.header-image-enable #title,.header-image-enable #blog-description{padding-left:20px}#top-box{margin-left:auto;margin-right:auto;font-size:90%;width:960px}.entry{position:relative;margin-bottom:20px;background:#fff;-webkit-border-top-right-radius:4px;-webkit-border-bottom-right-radius:0;-webkit-border-bottom-left-radius:0;-webkit-border-top-left-radius:0;-moz-border-radius-topright:4px;-moz-border-radius-bottomright:0;-moz-border-radius-bottomleft:0;-moz-border-radius-topleft:0;border-radius:4px;-moz-background-clip:padding;-webkit-background-clip:padding-box;background-clip:padding-box;border:1px solid #d5d5d5}.entry .entry-inner{padding:20px}.entry-header{padding:0 0 10px;margin-bottom:20px;border-bottom:5px solid #d5d5d5;position:relative}.entry-title{margin:0;line-height:1.3;font-size:160%}.date{margin-bottom:10px}.date a{font-weight:700;text-decoration:none;font-size:80%}.date-last-updated{font-size:80%;font-weight:700;color:#789dae}.categories{margin-top:10px;font-size:80%}.categories a{display:inline-block;*display: inline;*zoom: 1;padding:4px 10px;margin-bottom:0;line-height:18px;color:#555;background-color:#fff;border:1px solid #d5d5d5;text-align:center;vertical-align:middle;cursor:pointer;font-size:12px;text-decoration:none;font-weight:700;text-decoration:none!important;-webkit-border-top-right-radius:2px;-webkit-border-bottom-right-radius:0;-webkit-border-bottom-left-radius:0;-webkit-border-top-left-radius:0;-moz-border-radius-topright:2px;-moz-border-radius-bottomright:0;-moz-border-radius-bottomleft:0;-moz-border-radius-topleft:0;border-radius:2px;-moz-background-clip:padding;-webkit-background-clip:padding-box;background-clip:padding-box;background-color:#429bb2;color:#fff;font-weight:400;border:1px solid transparent;padding:1px 7px!important;font-size:11px!important}.categories a:hover{text-decoration:none!important;color:#429bb2}.categories a:hover{background-color:#328094;color:#fff}.categories.no-categories{margin:0}.entry-header-menu{position:absolute;top:0;right:0}.entry-header-menu a{display:inline-block;*display: inline;*zoom: 1;padding:4px 10px;margin-bottom:0;line-height:18px;color:#555;background-color:#fff;border:1px solid #d5d5d5;text-align:center;vertical-align:middle;cursor:pointer;font-size:12px;text-decoration:none;font-weight:700;text-decoration:none!important;-webkit-border-top-right-radius:2px;-webkit-border-bottom-right-radius:0;-webkit-border-bottom-left-radius:0;-webkit-border-top-left-radius:0;-moz-border-radius-topright:2px;-moz-border-radius-bottomright:0;-moz-border-radius-bottomleft:0;-moz-border-radius-topleft:0;border-radius:2px;-moz-background-clip:padding;-webkit-background-clip:padding-box;background-clip:padding-box}.entry-header-menu a:hover{text-decoration:none!important;color:#429bb2}.entry-content{font-size:95%;line-height:1.7;padding-bottom:10px;border-bottom:1px solid #d5d5d5}.entry-content p{margin:0 0 1em}.entry-content img{max-width:100%}.entry-content h1,.entry-content h2,.entry-content h3,.entry-content h4,.entry-content h5,.entry-content h6{margin:1.3em 0 .8em;line-height:1.5}.entry-content h1{font-size:160%}.entry-content h2{font-size:150%}.entry-content h3{font-size:140%}.entry-content h4{font-size:130%}.entry-content h5{font-size:110%}.entry-content h6{font-size:100%}.entry-content h1,.entry-content h2,.entry-content h3,.entry-content h4,.entry-content h5,.entry-content h6,.entry-content .footnote-number{scroll-margin-top:56px}.entry-content table{border-collapse:collapse;border-spacing:0;margin-bottom:1em}.entry-content table th,.entry-content table td{border:1px solid #ddd;padding:5px 10px}.entry-content table th{background:#f5f5f5}.entry-content blockquote{border:1px solid #d5d5d5;margin:0 0 10px;padding:20px}.entry-content blockquote p{margin-top:0;margin-bottom:0}.entry-content pre{border:1px solid #ddd;margin:0 0 10px;padding:15px;background:#f0f0f0;font-size:95%;line-height:1.5;-webkit-border-top-right-radius:4px;-webkit-border-bottom-right-radius:0;-webkit-border-bottom-left-radius:0;-webkit-border-top-left-radius:0;-moz-border-radius-topright:4px;-moz-border-radius-bottomright:0;-moz-border-radius-bottomleft:0;-moz-border-radius-topleft:0;border-radius:4px;-moz-background-clip:padding;-webkit-background-clip:padding-box;background-clip:padding-box}.entry-content pre>code{margin:0;padding:0;white-space:pre;border:0;background:transparent;font-family:Monaco,Consolas,Courier New,Courier,monospace,sans-serif}.entry-content code{font-size:90%;margin:0 2px;padding:0 5px;border:1px solid #eaeaea;background-color:#f8f8f8;border-radius:3px;font-family:Monaco,Consolas,Courier New,Courier,monospace,sans-serif}.entry-content .hatena-asin-detail li{line-height:1.4}.entry-footer{margin-top:10px}.entry-footer-section{font-size:80%;color:#999}.entry-footer-section a{color:#999}.social-buttons,.entry-footer-html{margin:10px 0}.comment-box ul{list-style:none;margin:0 0 15px;padding:0;font-size:90%}.comment-box li{padding:10px 0 10px 60px;border-bottom:1px solid #d5d5d5;position:relative}.comment-box li:first-child{border-top:1px solid #d5d5d5}.comment-box .read-more-comments{padding-left:0}.comment-box .hatena-id-icon{position:absolute;top:10px;left:0;width:50px!important;height:50px!important;-webkit-border-top-right-radius:3px;-webkit-border-bottom-right-radius:0;-webkit-border-bottom-left-radius:0;-webkit-border-top-left-radius:0;-moz-border-radius-topright:3px;-moz-border-radius-bottomright:0;-moz-border-radius-bottomleft:0;-moz-border-radius-topleft:0;border-radius:3px;-moz-background-clip:padding;-webkit-background-clip:padding-box;background-clip:padding-box}.comment-user-name{margin:0 0 10px;font-weight:700}.comment-content{font-size:90%;margin:0 0 10px;word-wrap:break-word}.comment-content p{margin:0 0 10px}.comment-metadata{font-size:80%;color:#999;margin:0}.comment-metadata a{color:#999}.leave-comment-title{display:inline-block;*display: inline;*zoom: 1;padding:4px 10px;margin-bottom:0;line-height:18px;color:#555;background-color:#fff;border:1px solid #d5d5d5;text-align:center;vertical-align:middle;cursor:pointer;font-size:12px;text-decoration:none;font-weight:700;text-decoration:none!important;-webkit-border-top-right-radius:2px;-webkit-border-bottom-right-radius:0;-webkit-border-bottom-left-radius:0;-webkit-border-top-left-radius:0;-moz-border-radius-topright:2px;-moz-border-radius-bottomright:0;-moz-border-radius-bottomleft:0;-moz-border-radius-topleft:0;border-radius:2px;-moz-background-clip:padding;-webkit-background-clip:padding-box;background-clip:padding-box}.leave-comment-title:hover{text-decoration:none!important;color:#429bb2}#box2{font-size:85%;line-height:1.5}#box2 .hatena-module{padding:10px;-webkit-border-top-right-radius:4px;-webkit-border-bottom-right-radius:0;-webkit-border-bottom-left-radius:0;-webkit-border-top-left-radius:0;-moz-border-radius-topright:4px;-moz-border-radius-bottomright:0;-moz-border-radius-bottomleft:0;-moz-border-radius-topleft:0;border-radius:4px;-moz-background-clip:padding;-webkit-background-clip:padding-box;background-clip:padding-box;border:1px solid #d5d5d5}.hatena-module{background:#fff;margin-bottom:20px}.hatena-module-title{font-weight:700;margin:5px 0 15px;font-size:110%;color:#333}.hatena-module-title a{color:#333;text-decoration:none}.hatena-module-title a:hover{text-decoration:underline}.hatena-module-profile .profile-icon{float:left;margin:0 10px 10px 0;-webkit-border-top-right-radius:5px;-webkit-border-bottom-right-radius:0;-webkit-border-bottom-left-radius:0;-webkit-border-top-left-radius:0;-moz-border-radius-topright:5px;-moz-border-radius-bottomright:0;-moz-border-radius-bottomleft:0;-moz-border-radius-topleft:0;border-radius:5px;-moz-background-clip:padding;-webkit-background-clip:padding-box;background-clip:padding-box}.hatena-module-profile .id{display:block;font-weight:700;font-size:110%;margin-bottom:5px}.hatena-module-profile .profile-description{font-size:95%}.hatena-module-profile .profile-description p{margin-top:0}.hatena-urllist{list-style:none;margin:0;padding:0}.hatena-urllist li{padding:8px 0;border-bottom:1px solid #d5d5d5;line-height:1.5}.hatena-urllist li:first-child{padding-top:0}.hatena-urllist li a{text-decoration:none}.hatena-urllist li a:hover{text-decoration:underline}.hatena-module-search-box .search-form{border:1px solid #d5d5d5;-webkit-border-top-right-radius:3px;-webkit-border-bottom-right-radius:0;-webkit-border-bottom-left-radius:0;-webkit-border-top-left-radius:0;-moz-border-radius-topright:3px;-moz-border-radius-bottomright:0;-moz-border-radius-bottomleft:0;-moz-border-radius-topleft:0;border-radius:3px;-moz-background-clip:padding;-webkit-background-clip:padding-box;background-clip:padding-box;width:100%;-ms-box-sizing:border-box;box-sizing:border-box;position:relative}.hatena-module-search-box .search-module-input{padding:5px;color:#555;background:none;border:none;outline:none;height:20px;width:90%}.hatena-module-search-box .search-module-button{width:20px;height:20px;background:transparent url(https://cdn.blog.st-hatena.com/images/theme/search.png?version=22f3cada4c2c30955d90dee0ad651e) no-repeat right center;border:none;outline:none;text-indent:-9999px;position:absolute;top:5px;right:5px;-moz-opacity:.5;-khtml-opacity:.5;-webkit-opacity:.5;opacity:.5;filter:alpha(opacity=50)}.hatena-module-search-box .search-module-button:hover{-moz-opacity:.85;-khtml-opacity:.85;-webkit-opacity:.85;opacity:.85;filter:alpha(opacity=85)}.pager{margin:20px 0;padding:20px 0;text-align:center;border-top:1px solid #d5d5d5;border-bottom:1px solid #d5d5d5;font-size:80%;font-weight:700}.pager a{color:#555;text-decoration:none}.pager a:hover{text-decoration:underline}.pager .pager-next{margin-left:1em}#top-editarea,#bottom-editarea,.breadcrumb{width:938px;margin-left:auto;margin-right:auto;display:block;*zoom: 1;padding:10px;background:#fff;border:1px solid #d5d5d5;-webkit-border-top-right-radius:4px;-webkit-border-bottom-right-radius:0;-webkit-border-bottom-left-radius:0;-webkit-border-top-left-radius:0;-moz-border-radius-topright:4px;-moz-border-radius-bottomright:0;-moz-border-radius-bottomleft:0;-moz-border-radius-topleft:0;border-radius:4px;-moz-background-clip:padding;-webkit-background-clip:padding-box;background-clip:padding-box;margin-bottom:20px}#top-editarea:after,#bottom-editarea:after,.breadcrumb:after{display:block;visibility:hidden;font-size:0;height:0;clear:both;content:"."}#footer{padding:30px 0;text-align:center;color:#999;line-height:1.5;font-size:80%}#footer p{margin:0}#footer a{color:#999}.page-about dt{font-size:16px;font-weight:700;border-bottom:1px solid #dfdfdf;margin-bottom:5px}.page-about dd{margin-left:0;margin-bottom:30px}.page-archive #main{padding:20px;background:#fff;margin-bottom:20px;width:578px;-webkit-border-top-right-radius:4px;-webkit-border-bottom-right-radius:0;-webkit-border-bottom-left-radius:0;-webkit-border-top-left-radius:0;-moz-border-radius-topright:4px;-moz-border-radius-bottomright:0;-moz-border-radius-bottomleft:0;-moz-border-radius-topleft:0;border-radius:4px;-moz-background-clip:padding;-webkit-background-clip:padding-box;background-clip:padding-box;border:1px solid #d5d5d5}.page-archive #main section{margin-bottom:20px}.page-archive #main .entry-title{margin-bottom:5px;text-decoration:none;font-size:80%;color:#333;font-size:100%;font-weight:700}.page-archive #main .entry-title a{color:#429bb2}.page-archive #main ul{list-style:none;margin:0;padding:0}.page-archive #main ul li{padding:8px 0;border-bottom:1px solid #d5d5d5;line-height:1.5}.page-archive #main ul li:first-child{padding-top:0}.page-archive #main ul li a{text-decoration:none}.page-archive #main ul li a:hover{text-decoration:underline}.page-archive .categories{margin:10px 0}.page-archive .categories a{display:inline-block;*display: inline;*zoom: 1;padding:4px 10px;margin-bottom:0;line-height:18px;color:#555;background-color:#fff;border:1px solid #d5d5d5;text-align:center;vertical-align:middle;cursor:pointer;font-size:12px;text-decoration:none;font-weight:700;text-decoration:none!important;-webkit-border-top-right-radius:2px;-webkit-border-bottom-right-radius:0;-webkit-border-bottom-left-radius:0;-webkit-border-top-left-radius:0;-moz-border-radius-topright:2px;-moz-border-radius-bottomright:0;-moz-border-radius-bottomleft:0;-moz-border-radius-topleft:0;border-radius:2px;-moz-background-clip:padding;-webkit-background-clip:padding-box;background-clip:padding-box;font-weight:400}.page-archive .categories a:hover{text-decoration:none!important;color:#429bb2}@media (-webkit-min-device-pixel-ratio: 2){body{background:url(https://cdn.blog.st-hatena.com/css/theme/reach/images/bg@2x.png?version=22f3cada4c2c30955d90dee0ad651e);background-size:200px 200px}.hatena-module-search-box .search-module-button{background:transparent url(https://cdn.blog.st-hatena.com/images/theme/search@2x.png?version=22f3cada4c2c30955d90dee0ad651e) no-repeat right center;background-size:20px 20px}}@media (min-width: 768px) and (max-width: 1024px){#content,#blog-title-inner,.header-image-enable #blog-title,.header-image-enable #blog-title-inner,#top-box{width:724px}#top-editarea,#bottom-editarea{width:704px}#main{width:460px}.page-archive #main{width:420px}#box2{width:245px}}@media (max-width: 767px){#globalheader-container{position:static}#blog-title{margin-top:0;padding-top:30px}#container{word-wrap:break-word;overflow:hidden}#content,#blog-title-inner,.header-image-enable #blog-title,#top-box,#top-editarea,#bottom-editarea{width:93.75%}#content img,#blog-title-inner img,.header-image-enable #blog-title img,#top-box img,#top-editarea img,#bottom-editarea img{max-width:100%}.header-image-enable #blog-title-inner{width:auto}.header-image-enable #title,.header-image-enable #blog-description{padding-right:20px}#main{width:100%;float:none}.page-archive #main,.page-archive .breadcrumb{width:100%;float:none;box-sizing:border-box}.page-archive #top-box,.page-archive #bottom-editarea{width:93.75%;box-sizing:border-box}#box2{width:100%;float:none}#box2-inner{width:100%}.hatena-module{float:none}}
/* */
/* */
body{ background-image: url(https://cdn.blog.st-hatena.com/images/theme/backgrounds/2014/pattern-02.png?version=6a93418d49065c7ebcd2524e81d45f); background-repeat: repeat; background-attachment: fixed; background-position: 0 0; background-size: 40px 70px; } @media (-webkit-min-device-pixel-ratio: 2) { body {background-image: url(https://cdn.blog.st-hatena.com/images/theme/backgrounds/2014/pattern-02@2x.png?version=6a93418d49065c7ebcd2524e81d45f);} }
/* */
nav#category-nav{
display:grid;
grid-template-columns: 1fr 1fr 1fr;
a{
text-align:center;
padding:10px;
cursor: pointer;
text-decoration: none;
font-weight: 700;
transition: background-color .2s;
border: none;
&:nth-child(5n+1){
background-color:#429bb2;
color:white;
}
&:nth-child(5n+2), &:nth-child(5n+4){
background-color:#d8d8d8;
}
&:nth-child(5n+3), &:nth-child(5n+5){
background-image:url("https://cdn.blog.st-hatena.com/images/theme/backgrounds/2014/pixel-01.png");
border:1px solid brack;
}
}
}
div.box0 {
border:2px solid black;
* {
margin: 0px 2em;
}
&>div.title, &>div.definition {
margin: 0px;
padding: 0.3em;
font-size: 16px;
font-weight: 700;
}
}
div.box1 {
border:5px solid #429bb2;
* {
margin: 0px 2em;
}
&>div.title, &>div.theorem {
background-color: #429bb2;
color:white;
margin: 0px;
padding: 0.3em;
font-size: 16px;
font-weight: 700;
}
}
div.box2 {
border:5px solid #d8d8d8;
* {
margin: 0px 2em;
}
&>div.title, &>div.lemma, &>div.proposition {
background-color: #d8d8d8;
margin: 0px;
padding: 0.3em;
font-size: 16px;
font-weight: 700;
}
}
/*
p.dialogue{
border: 1px solid;
margin-left:25%;
width:65%;
}
p.dialogue::before{
content:"";
width: 30px;
height: 30px;
border-radius: 50%;
background: #0091EA;
position: absolute;
left: 20%;
}
*/
.equation > img{
margin:auto;
border:10px solid;
}
/*
.title_equ_20220903_box{
display:inline;
position: relative;
}
.title_equ_20220903_shadow{
display:inline;
position: absolute;
transform: matrix(1,0,-0.5,2,15,-12);
text-shadow: #FFFFFF 0 0 1px;
color: transparent;
opacity:0.5;
}
.title_equ_20220903_text{
display:inline;
}
*/
article {
counter-reset:section subsection subsubsection theorem;
}
div:is(.definition, .theorem, .lemma, .proposition){
counter-increment: theorem;
}
h2:not(.noNum,#blog-description,#archive-heading)::before {
counter-increment: section;
content:counter(section) " ";
counter-reset: subsection subsubsection;
}
h2:not(.noNum){
counter-reset: subsection subsubsection;
}
h3:not(.noNum)::before {
counter-increment: subsection;
content:counter(section) "." counter(subsection) " ";
counter-reset: subsubsection;
}
h3:not(.noNum){
counter-reset: subsubsection;
}
h4:not(.noNum)::before {
counter-increment: subsubsection;
content:counter(section) "." counter(subsection) "." counter(subsubsection) " ";
}
h2.fold::before,h3.fold::before,h4.fold::before{
color:#429bb2;
}
h2.fold:hover::before,h3.fold:hover::before,h4.fold:hover::before{
color:#328094;
}
h2 ~ * div.definition::before{
content:"定義" counter(section) "." counter(theorem) " ";
}
h3 ~ * div.definition:not(h3 ~ h2 ~ * div.definition)::before{
content:"定義" counter(section) "." counter(subsection) "." counter(theorem) " ";
}
h4 ~ * div.definition:not(h4 ~ is(h2, h3) ~ * div.definition)::before{
content:"定義" counter(section) "." counter(subsection) "." counter(subsubsection) "." counter(theorem) " ";
}
h2 ~ * div.theorem::before{
content:"定理" counter(section) "." counter(theorem) " ";
}
h3 ~ * div.theorem:not(h3 ~ h2 ~ * div.theorem)::before{
content:"定理" counter(section) "." counter(subsection) "." counter(theorem) " ";
}
h4 ~ * div.theorem:not(h4 ~ is(h2, h3) ~ * div.theorem)::before{
content:"定理" counter(section) "." counter(subsection) "." counter(subsubsection) "." counter(theorem) " ";
}
h2 ~ * div.lemma::before{
content:"補題" counter(section) "." counter(theorem) " ";
}
h3 ~ * div.lemma:not(h3 ~ h2 ~ * div.lemma)::before{
content:"補題" counter(section) "." counter(subsection) "." counter(theorem) " ";
}
h4 ~ * div.lemma:not(h4 ~ is(h2, h3) ~ * div.lemma)::before{
content:"補題" counter(section) "." counter(subsection) "." counter(subsubsection) "." counter(theorem) " ";
}
h2 ~ * div.proposition::before{
content:"命題" counter(section) "." counter(theorem) " ";
}
h3 ~ * div.proposition:not(h3 ~ h2 ~ * div.proposition)::before{
content:"命題" counter(section) "." counter(subsection) "." counter(theorem) " ";
}
h4 ~ * div.proposition:not(h4 ~ is(h2, h3) ~ * div.proposition)::before{
content:"命題" counter(section) "." counter(subsection) "." counter(subsubsection) "." counter(theorem) " ";
}
h2:not(.noNum)::before, h3:not(.noNum)::before, h4:not(.noNum)::before{
counter-set: theorem 0;
}
*.fold:not(.is-active)::before{
content:"▶[Click here!] " ;
}
*.fold.is-active::before{
content:"▼[Close] ";
}
h2.fold:not(.is-active)::before{
content:"▶[Click here!] " counter(section) " " ;
}
h2.fold.is-active::before{
content:"▼[Close] " counter(section) " " ;
}
h3.fold:not(.is-active)::before{
content:"▶[Click here!] " counter(section) "." counter(subsection) " " ;
}
h3.fold.is-active::before{
content:"▼[Close] " counter(section) "." counter(subsection) " ";
}
h4.fold:not(.is-active)::before{
content:"▶[Click here!] " counter(section) "." counter(subsection) "." counter(subsubsection) " ";
}
h4.fold.is-active::before{
content:"▼[Close] " counter(section) "." counter(subsection) "." counter(subsubsection) " ";
}
.contents {
line-height: 0;
height: 0;
overflow: hidden;
opacity: 0;
transition-duration: 0.2s;
}
.contents.is-open {
line-height: normal;
height: auto;
opacity: 1;
}
.table-of-contents:before {
content: "目次";
font-size: 120%;
font-weight:bold;
color:white;
}
pre.equation {
margin-left: -180px;
margin-right: -180px;
padding-left: 200px;
padding-right:200px;
background:none;
border:none;
position:relative;
}
/*pre.equation:before{
content: "";
position: -webkit-sticky;
position: sticky;
z-index:1;
bottom:0;left:-200px;
width: 0px; height: 0px;
margin-left:-200px;
padding-bottom:500%/*FIXME*/;
padding-right:200px;
background:linear-gradient(to right, #272822 0%,rgba(0,0,0,0) 100%);
display:inline;
}*/
/*pre.equation:after{
content: "";
position: -webkit-sticky;
position: sticky;
z-index:1;
bottom:0;left:100%;
width: 0; height: 0;
margin-right:-200px;
padding-top:500%/*FIXME*/;
padding-left:200px;
background:linear-gradient(to left, #272822 0%,rgba(0,0,0,0) 100%);
display:inline;
}*/
/*pre.equation::-webkit-scrollbar {
background-color: rgba(0,0,0,0);
}
pre.equation::-webkit-scrollbar-track {
background-color: #f1f1f1;
}
pre.equation::-webkit-scrollbar-button:horizontal:decrement
{
width:200px;
background:linear-gradient(to top left, rgba(0,0,0,0) 50%, #f1f1f1 51%) no-repeat top right/9% 100%,
linear-gradient(to bottom left, rgba(0,0,0,0) 50%, #f1f1f1 51%) no-repeat bottom right/9% 100%,
linear-gradient(#f1f1f1 0%, #f1f1f1 100%) no-repeat center right/2.75% 100%,
linear-gradient(90deg,rgba(0,0,0,0) 91%, #505050 91.05%);
}
pre.equation::-webkit-scrollbar-button:horizontal:increment
{
width:200px;
background:linear-gradient(to bottom right, rgba(0,0,0,0) 50%, #f1f1f1 51%) no-repeat bottom left/9% 100%,
linear-gradient(to top right, rgba(0,0,0,0) 50%, #f1f1f1 51%) no-repeat top left/9% 100%,
linear-gradient(#f1f1f1 0%, #f1f1f1 100%) no-repeat center left/2.75% 100%,
linear-gradient(90deg, #505050 8.95%,rgba(0,0,0,0) 9%);
}
pre.equation::-webkit-scrollbar-button:horizontal:decrement:hover
{
background:linear-gradient(to top left, rgba(0,0,0,0) 50%, #a8a8a8 51%) no-repeat top right/9% 100%,
linear-gradient(to bottom left, rgba(0,0,0,0) 50%, #a8a8a8 51%) no-repeat bottom right/9% 100%,
linear-gradient(#a8a8a8 0%, #a8a8a8 100%) no-repeat center right/2.75% 100%,
linear-gradient(90deg,rgba(0,0,0,0) 91%, #505050 91.05%);
}
pre.equation::-webkit-scrollbar-button:horizontal:increment:hover
{
background:linear-gradient(to bottom right, rgba(0,0,0,0) 50%, #a8a8a8 51%) no-repeat bottom left/9% 100%,
linear-gradient(to top right, rgba(0,0,0,0) 50%, #a8a8a8 51%) no-repeat top left/9% 100%,
linear-gradient(#a8a8a8 0%, #a8a8a8 100%) no-repeat center left/2.75% 100%,
linear-gradient(90deg, #505050 8.95%,rgba(0,0,0,0) 9%);
}
pre.equation::-webkit-scrollbar-button:horizontal:decrement:active
{
width:200px;
background:linear-gradient(to top left, rgba(0,0,0,0) 50%, #787878 51%) no-repeat top right/9% 100%,
linear-gradient(to bottom left, rgba(0,0,0,0) 50%, #787878 51%) no-repeat bottom right/9% 100%,
linear-gradient(#787878 0%, #787878 100%) no-repeat center right/2.75% 100%,
linear-gradient(90deg,rgba(0,0,0,0) 91%, #ffffff 91.05%);
}
pre.equation::-webkit-scrollbar-button:horizontal:increment:active
{
width:200px;
background:linear-gradient(to bottom right, rgba(0,0,0,0) 50%, #787878 51%) no-repeat bottom left/9% 100%,
linear-gradient(to top right, rgba(0,0,0,0) 50%, #787878 51%) no-repeat top left/9% 100%,
linear-gradient(#787878 0%, #787878 100%) no-repeat center left/2.75% 100%,
linear-gradient(90deg, #ffffff 8.95%,rgba(0,0,0,0) 9%);
}
pre.equation::-webkit-scrollbar-thumb {
background: #c1c1c1;
border: 2px solid #f1f1f1;
box-sizing: border-box;
}
pre.equation::-webkit-scrollbar-thumb:hover {
background: #a8a8a8;
}
pre.equation::-webkit-scrollbar-thumb:active {
background: #787878;
}*/
.hatena-module{
position:relative;
z-index:2;
}
/*
FILE ARCHIVED ON 14:16:14 Mar 08, 2023 AND RETRIEVED FROM THE
INTERNET ARCHIVE ON 13:43:20 Apr 25, 2025.
JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE.
ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
SECTION 108(a)(3)).
*/
/*
playback timings (ms):
captures_list: 0.821
exclusion.robots: 0.043
exclusion.robots.policy: 0.025
esindex: 0.012
cdx.remote: 7.058
LoadShardBlock: 251.91 (3)
PetaboxLoader3.datanode: 311.719 (5)
load_resource: 190.527
PetaboxLoader3.resolve: 41.47
loaddict: 69.469
*/