@import url("https://fonts.googleapis.com/css2?family=BIZ+UDP+Gothic&family=Noto+Sans:wght@400;700&family=Noto+Sans+JP:wght@400;700&family=Noto+Sans+KR:wght@400;700&family=Noto+Serif+KR:wght@400;700&family=Zen+Old+Mincho:wght@900&family=EB+Garamond:wght@400;800&family=Sawarabi+Mincho&display=swap");@import url("https://fonts.googleapis.com/css2?family=BIZ+UDMincho:wght@700&display=swap");@font-face{font-family:'Noto Sans';font-weight:400;font-style:normal;src:url("../fonts/Noto-Sans-regular/Noto-Sans-regular.eot");src:url("../fonts/Noto-Sans-regular/Noto-Sans-regular.eot?#iefix") format("embedded-opentype"),local("Noto Sans"),local("Noto-Sans-regular"),url("../fonts/Noto-Sans-regular/Noto-Sans-regular.woff2") format("woff2"),url("../fonts/Noto-Sans-regular/Noto-Sans-regular.woff") format("woff"),url("../fonts/Noto-Sans-regular/Noto-Sans-regular.ttf") format("truetype"),url("../fonts/Noto-Sans-regular/Noto-Sans-regular.svg#NotoSans") format("svg")}@font-face{font-family:'Noto Sans';font-weight:700;font-style:normal;src:url("../fonts/Noto-Sans-700/Noto-Sans-700.eot");src:url("../fonts/Noto-Sans-700/Noto-Sans-700.eot?#iefix") format("embedded-opentype"),local("Noto Sans Bold"),local("Noto-Sans-700"),url("../fonts/Noto-Sans-700/Noto-Sans-700.woff2") format("woff2"),url("../fonts/Noto-Sans-700/Noto-Sans-700.woff") format("woff"),url("../fonts/Noto-Sans-700/Noto-Sans-700.ttf") format("truetype"),url("../fonts/Noto-Sans-700/Noto-Sans-700.svg#NotoSans") format("svg")}@font-face{font-family:'Noto Sans';font-weight:400;font-style:italic;src:url("../fonts/Noto-Sans-italic/Noto-Sans-italic.eot");src:url("../fonts/Noto-Sans-italic/Noto-Sans-italic.eot?#iefix") format("embedded-opentype"),local("Noto Sans Italic"),local("Noto-Sans-italic"),url("../fonts/Noto-Sans-italic/Noto-Sans-italic.woff2") format("woff2"),url("../fonts/Noto-Sans-italic/Noto-Sans-italic.woff") format("woff"),url("../fonts/Noto-Sans-italic/Noto-Sans-italic.ttf") format("truetype"),url("../fonts/Noto-Sans-italic/Noto-Sans-italic.svg#NotoSans") format("svg")}@font-face{font-family:'Noto Sans';font-weight:700;font-style:italic;src:url("../fonts/Noto-Sans-700italic/Noto-Sans-700italic.eot");src:url("../fonts/Noto-Sans-700italic/Noto-Sans-700italic.eot?#iefix") format("embedded-opentype"),local("Noto Sans Bold Italic"),local("Noto-Sans-700italic"),url("../fonts/Noto-Sans-700italic/Noto-Sans-700italic.woff2") format("woff2"),url("../fonts/Noto-Sans-700italic/Noto-Sans-700italic.woff") format("woff"),url("../fonts/Noto-Sans-700italic/Noto-Sans-700italic.ttf") format("truetype"),url("../fonts/Noto-Sans-700italic/Noto-Sans-700italic.svg#NotoSans") format("svg")}.highlight table td{padding:5px}.highlight table pre{margin:0}.highlight .cm{color:#999988;font-style:italic}.highlight .cp{color:#999999;font-weight:bold}.highlight .c1{color:#999988;font-style:italic}.highlight .cs{color:#999999;font-weight:bold;font-style:italic}.highlight .c,.highlight .cd{color:#999988;font-style:italic}.highlight .err{color:#a61717;background-color:#e3d2d2}.highlight .gd{color:#000000;background-color:#ffdddd}.highlight .ge{color:#000000;font-style:italic}.highlight .gr{color:#aa0000}.highlight .gh{color:#999999}.highlight .gi{color:#000000;background-color:#ddffdd}.highlight .go{color:#888888}.highlight .gp{color:#555555}.highlight .gs{font-weight:bold}.highlight .gu{color:#aaaaaa}.highlight .gt{color:#aa0000}.highlight .kc{color:#000000;font-weight:bold}.highlight .kd{color:#000000;font-weight:bold}.highlight .kn{color:#000000;font-weight:bold}.highlight .kp{color:#000000;font-weight:bold}.highlight .kr{color:#000000;font-weight:bold}.highlight .kt{color:#445588;font-weight:bold}.highlight .k,.highlight .kv{color:#000000;font-weight:bold}.highlight .mf{color:#009999}.highlight .mh{color:#009999}.highlight .il{color:#009999}.highlight .mi{color:#009999}.highlight .mo{color:#009999}.highlight .m,.highlight .mb,.highlight .mx{color:#009999}.highlight .sb{color:#d14}.highlight .sc{color:#d14}.highlight .sd{color:#d14}.highlight .s2{color:#d14}.highlight .se{color:#d14}.highlight .sh{color:#d14}.highlight .si{color:#d14}.highlight .sx{color:#d14}.highlight .sr{color:#009926}.highlight .s1{color:#d14}.highlight .ss{color:#990073}.highlight .s{color:#d14}.highlight .na{color:#008080}.highlight .bp{color:#999999}.highlight .nb{color:#0086B3}.highlight .nc{color:#445588;font-weight:bold}.highlight .no{color:#008080}.highlight .nd{color:#3c5d5d;font-weight:bold}.highlight .ni{color:#800080}.highlight .ne{color:#990000;font-weight:bold}.highlight .nf{color:#990000;font-weight:bold}.highlight .nl{color:#990000;font-weight:bold}.highlight .nn{color:#555555}.highlight .nt{color:#000080}.highlight .vc{color:#008080}.highlight .vg{color:#008080}.highlight .vi{color:#008080}.highlight .nv{color:#008080}.highlight .ow{color:#000000;font-weight:bold}.highlight .o{color:#000000;font-weight:bold}.highlight .w{color:#bbbbbb}.highlight{background-color:#f8f8f8}body{background-color:#fff;padding:50px;font:14px/1.5 "Noto Sans", "Helvetica Neue", Helvetica, Arial, sans-serif;color:#727272;font-weight:400}h1,h2,h3,h4,h5,h6{color:#222;margin:0 0 20px}p,ul,ol,table,pre,dl{margin:0 0 20px}h1,h2,h3{line-height:1.1}h1{font-size:28px}h2{color:#393939}h3,h4,h5,h6{color:#494949}a{color:#267CB9;text-decoration:none}a:hover,a:focus{color:#069;font-weight:bold}a small{font-size:11px;color:#777;margin-top:-0.3em;display:block}a:hover small{color:#777}.wrapper{width:860px;margin:0 auto}blockquote{border-left:1px solid #e5e5e5;margin:0;padding:0 0 0 20px;font-style:italic}code,pre{font-family:Monaco, Bitstream Vera Sans Mono, Lucida Console, Terminal, Consolas, Liberation Mono, DejaVu Sans Mono, Courier New, monospace;color:#333}pre{padding:8px 15px;background:#f8f8f8;border-radius:5px;border:1px solid #e5e5e5;overflow-x:auto}table{width:100%;border-collapse:collapse}th,td{text-align:left;padding:5px 10px;border-bottom:1px solid #e5e5e5}dt{color:#444;font-weight:700}th{color:#444}img{max-width:100%}kbd{background-color:#fafbfc;border:1px solid #c6cbd1;border-bottom-color:#959da5;border-radius:3px;box-shadow:inset 0 -1px 0 #959da5;color:#444d56;display:inline-block;font-size:11px;line-height:10px;padding:3px 5px;vertical-align:middle}header{width:270px;float:left;position:fixed;-webkit-font-smoothing:subpixel-antialiased}ul.downloads{list-style:none;height:40px;padding:0;background:#f4f4f4;border-radius:5px;border:1px solid #e0e0e0;width:270px}.downloads li{width:89px;float:left;border-right:1px solid #e0e0e0;height:40px}.downloads li:first-child a{border-radius:5px 0 0 5px}.downloads li:last-child a{border-radius:0 5px 5px 0}.downloads a{line-height:1;font-size:11px;color:#676767;display:block;text-align:center;padding-top:6px;height:34px}.downloads a:hover,.downloads a:focus{color:#675C5C;font-weight:bold}.downloads ul a:active{background-color:#f0f0f0}strong{color:#222;font-weight:700}.downloads li+li+li{border-right:none;width:89px}.downloads a strong{font-size:14px;display:block;color:#222}section{width:500px;float:right;padding-bottom:50px}small{font-size:11px}hr{border:0;background:#e5e5e5;height:1px;margin:0 0 20px}footer{width:270px;float:left;position:fixed;bottom:50px;-webkit-font-smoothing:subpixel-antialiased}@media print, screen and (max-width: 960px){div.wrapper{width:auto;margin:0}header,section,footer{float:none;position:static;width:auto}header{padding-right:320px}section{border:1px solid #e5e5e5;border-width:1px 0;padding:20px 0;margin:0 0 20px}header a small{display:inline}header ul{position:absolute;right:50px;top:52px}}@media print, screen and (max-width: 720px){body{word-wrap:break-word}header{padding:0}header ul,header p.view{position:static}pre,code{word-wrap:normal}}@media print, screen and (max-width: 480px){body{padding:15px}.downloads{width:99%}.downloads li,.downloads li+li+li{width:33%}}@media print{body{padding:0.4in;font-size:12pt;color:#444}}:root{--font-base: 'EB Garamond Adjusted', 'EB Garamond', 'Sawarabi Mincho', 'Noto Serif KR', serif;--font-strong: 'EB Garamond Adjusted', 'EB Garamond', 'Zen Old Mincho', 'Noto Serif KR', serif;--bg-color: #FFF8E7;--text-color: #222;--link-color: #9F353A;--link-hover: #359F9A;--quote-bar: #9F353A;--quote-bg: #FDF3E1;--quote-border: #9F353A;--quote-text: #333333;--code-bg: #F4ECE1;--code-border: #E5D5C5;--code-text: #333333}body.ud-mode{--font-base: 'Noto Sans', Arial, Helvetica, 'BIZ UDP Gothic', 'Noto Sans JP', 'Noto Sans KR', sans-serif;--font-strong: 'Noto Sans', Arial, Helvetica, 'BIZ UDP Gothic', 'Noto Sans JP', 'Noto Sans KR', sans-serif;--bg-color: #FAFAFA;--text-color: #222;--link-color: #005bac;--link-hover: #008cce;--quote-bar: #005bac;--quote-bg: #FFFFFF;--quote-border: #005bac;--quote-text: #111111;--code-bg: #FFFFFF;--code-border: #888888;--code-text: #000000}body{font-family:var(--font-base);background-color:var(--bg-color);color:var(--text-color);font-size:1.1rem;line-height:1.6;font-weight:400}body :lang(en),body :lang(en-US),body :lang(en-GB),body :lang(fr),body :lang(de),body :lang(it),body :lang(es){font-family:var(--font-base),serif !important}b,strong{font-family:var(--font-strong);font-weight:900}@font-face{font-family:'EB Garamond Adjusted';size-adjust:110%;src:url("/assets/fonts/EBGaramond-Regular.woff2") format("woff2");font-weight:400;font-display:swap}@font-face{font-family:'EB Garamond Adjusted';size-adjust:110%;src:url("/assets/fonts/EBGaramond-ExtraBold.woff2") format("woff2");font-weight:800;font-display:swap}.wrapper{max-width:1200px !important;width:94%;margin:0 auto}@media print, screen and (min-width: 960px){header{width:280px}section{width:calc(100% - 310px);max-width:none}}.home-nav{list-style-type:'>'}.breadcrumbs{margin-bottom:20px;font-size:0.9em;color:#666}.site-footer{clear:both;width:100%;display:block;background-color:transparent;margin-top:80px;padding:50px 0;border-top:1px solid rgba(0,0,0,0.1);text-align:center;font-size:0.8em;color:#999;line-height:1.5}.site-footer a{color:#999;text-decoration:underline;transition:color 0.3s ease}.site-footer a:hover{color:var(--link-hover)}body.ud-mode .site-footer a{color:var(--link-color)}.site-logo{max-width:250px;width:100%;height:auto;margin-top:-30px;margin-bottom:-5px}.github-icon{fill:#333;transition:opacity 0.3s ease}a:hover .github-icon{opacity:0.7}.header-gh{margin-top:20px;margin-bottom:20px}.footer-gh{margin-bottom:20px}.global-header{position:fixed;top:0;left:0;width:100%;z-index:9999;background-color:#2F3437;border-bottom:1px solid #e0e0e0;padding:10px 0;height:auto}.global-header .site-nav{max-width:900px;margin:0 auto;padding:0 15px}.global-header .site-nav ul{list-style:none;margin:0;padding:0;display:flex;flex-wrap:wrap;gap:20px;align-items:center}.global-header .site-nav li{margin:0}.global-header .site-nav li a{text-decoration:none;color:#FFF8E7;font-weight:bold;font-size:0.9rem;transition:color 0.3s ease}.global-header .site-nav li a:hover{color:#9F353A}.wrapper{margin-top:50px !important}header h1,header h1 a{font-family:'BIZ UDMincho', serif;font-weight:700;font-size:3.2rem;letter-spacing:0.05em;text-decoration:none;line-height:1.3}header h1 .poetic-line{display:block;margin-bottom:0px}@media screen and (min-width: 768px){.wrapper header{margin-top:-70px;margin-bottom:0}header p{margin-top:-10px}header ul{margin-top:0px}}@media screen and (max-width: 600px){.wrapper{margin-top:100px !important}header h1 .poetic-line{line-height:1.2}.wrapper header{margin-top:-50px;margin-bottom:0}header p{margin-top:-10px}header ul{margin-top:0px}}@media screen and (max-width: 768px){body{font-size:0.9rem;line-height:1.8}}@media print, screen and (min-width: 960px){body.home .site-footer{border-top:none !important}}@media screen and (max-width: 959px){.site-footer{border-top:none !important}}a,a:visited{font-weight:bolder;font-family:var(--font-strong);color:var(--link-color);text-decoration:none;transition:color 0.3s ease}section a{background-image:linear-gradient(var(--link-hover), var(--link-hover));background-repeat:no-repeat;background-position:left bottom;background-size:0% 2px;transition:background-size 0.3s ease, background-image 0.3s ease, color 0.3s ease}body.ud-mode section a{background-image:linear-gradient(var(--link-color), var(--link-color));background-size:100% 2px}body.ud-mode .site-footer a{color:var(--link-color)}@media (hover: hover){a:hover{color:var(--link-hover)}.site-footer a:hover{color:var(--link-hover)}section a:hover{background-size:100% 2px}body.ud-mode section a:hover{background-image:linear-gradient(var(--link-hover), var(--link-hover))}}@media (prefers-reduced-motion: reduce){a,.site-footer a,.github-icon,section a,.site-nav li a{transition:none !important}}body:not(.ud-mode) ::-moz-selection{background-color:#2f3437;color:#fff8e7}body:not(.ud-mode) ::selection{background-color:#2f3437;color:#fff8e7}@media (hover: hover) and (pointer: fine){body:not(.ud-mode),body:not(.ud-mode) a,body:not(.ud-mode) button,body:not(.ud-mode) input,body:not(.ud-mode) textarea,body:not(.ud-mode) summary{cursor:none !important}body:not(.ud-mode) #cursor,body:not(.ud-mode) #cursor-canvas{display:block}body.ud-mode #cursor,body.ud-mode #cursor-canvas{display:none}}@media (hover: none), (pointer: coarse){#cursor-wrapper,#cursor,#cursor-canvas{display:none !important}}#cursor-wrapper{position:fixed;top:0;left:0;width:100vw;height:100vh;pointer-events:none;z-index:10000;mix-blend-mode:difference}#cursor{position:absolute;top:0;left:0;width:24px;height:24px;background-color:#fff;border-radius:50%;pointer-events:none;box-sizing:border-box;transition:width 0.1s cubic-bezier(0.23, 1, 0.32, 1),height 0.1s cubic-bezier(0.23, 1, 0.32, 1),background-color 0.1s,border 0.1s;will-change:transform}#cursor.is-hover{width:30px;height:30px;background-color:transparent;border:1.2px solid #fff}#cursor-canvas{position:fixed;top:0;left:0;width:100vw;height:100vh;pointer-events:none;z-index:10000}blockquote{margin:1.5em 0;padding:1em 1.5em;color:var(--quote-text);background-color:var(--quote-bg);border:1px solid var(--quote-border);border-left:6px solid var(--quote-border);border-radius:6px;box-shadow:0 2px 8px rgba(0,0,0,0.04);font-style:normal;transition:background-color 0.3s ease, border-color 0.3s ease, color 0.3s ease}blockquote p:first-child{margin-top:0}blockquote p:last-child{margin-bottom:0}code,pre{font-family:'Courier New', Consolas, Monaco, monospace}pre{background-color:var(--code-bg);border:1px solid var(--code-border);color:var(--code-text);padding:1em;border-radius:6px;overflow-x:auto;line-height:1.5;transition:background-color 0.3s ease, border-color 0.3s ease, color 0.3s ease}pre code{background-color:transparent;border:none;padding:0}p code,li code{background-color:var(--code-bg);border:1px solid var(--code-border);color:var(--code-text);padding:0.2em 0.4em;border-radius:4px;font-size:0.9em;transition:background-color 0.3s ease, border-color 0.3s ease, color 0.3s ease}.marginalia-accordion{margin-top:2em}.genre-details{margin-bottom:1em;border:1px solid var(--quote-border);border-radius:6px;background-color:var(--quote-bg);box-shadow:0 2px 8px rgba(0,0,0,0.04);transition:background-color 0.3s ease, border-color 0.3s ease}.genre-summary{padding:1em 1.5em;font-weight:bold;cursor:pointer;display:flex;justify-content:space-between;align-items:center;list-style:none;color:var(--quote-text);transition:color 0.3s ease}.genre-summary::-webkit-details-marker{display:none}@media (hover: hover){.genre-summary:hover{color:var(--link-hover)}}.genre-icon{display:inline-block;width:10px;height:10px;border-right:2px solid currentColor;border-bottom:2px solid currentColor;transform:rotate(45deg);transition:transform 0.3s ease, margin 0.3s ease}.genre-details[open] .genre-icon{transform:rotate(-135deg);margin-top:4px}.genre-post-list{margin:0;padding:0 1.5em 1em 1.5em;list-style:none;border-top:1px dashed var(--code-border);padding-top:1em}.genre-post-list li{display:flex;justify-content:space-between;align-items:baseline;margin-bottom:0.8em;gap:1em}.genre-post-list li:last-child{margin-bottom:0}.post-date{font-size:0.85em;color:#777777;white-space:nowrap}body.ud-mode .post-date{color:#555555}@media print, screen and (min-width: 960px){.wrapper.wide-layout section{width:100% !important;max-width:1000px !important;float:none !important;margin:0 auto !important;padding:0 !important}}.wrapper{margin-top:60px !important}img{max-width:100%;height:auto}body{counter-reset:def thm lem cor prop}.def,.thm,.lem,.cor,.prop{margin:1.5em 0;padding:1em 1.5em;color:var(--quote-text);background-color:var(--quote-bg);border:1px solid var(--quote-border);border-left:6px solid var(--quote-border);border-radius:6px;box-shadow:0 2px 8px rgba(0,0,0,0.04);font-style:normal;transition:background-color 0.3s ease, border-color 0.3s ease, color 0.3s ease}.def{counter-increment:def}.thm{counter-increment:thm}.lem{counter-increment:lem}.cor{counter-increment:cor}.prop{counter-increment:prop}.def::before,.thm::before,.lem::before,.cor::before,.prop::before{font-weight:bold;display:block;margin-bottom:0.5em}.def::before{content:"定義 " counter(def) "."}.thm::before{content:"定理 " counter(thm) "."}.lem::before{content:"補題 " counter(lem) "."}.cor::before{content:"系 " counter(cor) "."}.prop::before{content:"命題 " counter(prop) "."}.def[data-title]::before{content:"定義 " counter(def) " (" attr(data-title) ")."}.thm[data-title]::before{content:"定理 " counter(thm) " (" attr(data-title) ")."}.lem[data-title]::before{content:"補題 " counter(lem) " (" attr(data-title) ")."}.cor[data-title]::before{content:"系 " counter(cor) " (" attr(data-title) ")."}.prop[data-title]::before{content:"命題 " counter(prop) " (" attr(data-title) ")."}.def p:first-of-type,.thm p:first-of-type,.lem p:first-of-type,.cor p:first-of-type,.prop p:first-of-type{margin-top:0}.def p:last-of-type,.thm p:last-of-type,.lem p:last-of-type,.cor p:last-of-type,.prop p:last-of-type{margin-bottom:0}.site-logo.ud-toggle-anim{animation:logo-expand-shrink 0.5s cubic-bezier(0.4, 1.4, 0.6, 1) both}@keyframes logo-expand-shrink{0%{transform:scale(1, 1)}30%{transform:scale(1.15, 0.9)}60%{transform:scale(0.95, 1.12)}100%{transform:scale(1, 1)}}