:root{--color-bg: #fdfbfb;--color-fg: #333;--color-accent: #d16587;--color-card-bg: #fff;--color-card-border: #e0e0e0;--max-width: 52rem}*{margin:0;padding:0;box-sizing:border-box}button,input,select,textarea{font:inherit}html{overflow-y:scroll}@supports (scrollbar-gutter: stable){html{overflow-y:auto;scrollbar-gutter:stable}}body{font-family:Harano Aji Mincho Subset,Yu Mincho,Hiragino Mincho ProN,serif;font-synthesis:none;background-color:var(--color-bg);background-image:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 200 200'%3E%3Cg fill='%23f2ebeb'%3E%3Cpath d='M100 108C84 88 74 44 87 14L100 30L113 14C126 44 116 88 100 108Z'/%3E%3Cpath d='M100 108C84 88 74 44 87 14L100 30L113 14C126 44 116 88 100 108Z' transform='rotate(72 100 100)'/%3E%3Cpath d='M100 108C84 88 74 44 87 14L100 30L113 14C126 44 116 88 100 108Z' transform='rotate(144 100 100)'/%3E%3Cpath d='M100 108C84 88 74 44 87 14L100 30L113 14C126 44 116 88 100 108Z' transform='rotate(216 100 100)'/%3E%3Cpath d='M100 108C84 88 74 44 87 14L100 30L113 14C126 44 116 88 100 108Z' transform='rotate(288 100 100)'/%3E%3C/g%3E%3C/svg%3E");background-repeat:no-repeat;background-attachment:fixed;background-position:right -430px bottom -470px;background-size:1000px 1000px;color:var(--color-fg);line-height:1.8}@media(max-width:700px){body{background-position:right -260px bottom -280px;background-size:600px 600px}}.wrapper{min-height:100dvh;display:flex;flex-direction:column}.site-header{border-bottom:1px solid var(--color-card-border);background:var(--color-card-bg)}.site-header ul{max-width:var(--max-width);margin:0 auto;padding:0 1rem;display:flex;gap:1.5rem;list-style:none}.site-header a{display:inline-block;padding:.75rem 0;color:var(--color-fg);text-decoration:none}.site-header a.active{color:var(--color-accent);border-bottom:2px solid var(--color-accent)}main{flex:1;width:100%;max-width:var(--max-width);margin:0 auto;padding:1rem}.hero{padding:2.5rem 0 1.5rem}.hero h1{font-size:1.8rem;margin-bottom:.5rem}.card{background:var(--color-card-bg);border:1px solid var(--color-card-border);border-radius:6px;padding:1rem 1.25rem;margin-bottom:1rem}.card h2{font-size:1.2rem;margin-bottom:.5rem}.card ul,.card ol{padding-left:1.5em}.card .history-list,.card .content-links{padding-left:0}a{color:var(--color-accent)}.article-grid{display:grid;grid-template-columns:repeat(auto-fill,minmax(260px,1fr));gap:.75rem;margin-top:1rem}.article-card{display:flex;flex-direction:column;border:1px solid var(--color-card-border);border-radius:4px;background:#fafafa;padding:.75rem 1rem}.article-card h3{font-size:1.05rem;margin-bottom:.5rem}.article-card h3 a{color:inherit}.article-card h3 a:hover{color:var(--color-accent)}.content-links{list-style:none;display:grid;grid-template-columns:repeat(auto-fill,minmax(160px,1fr));gap:.6rem;margin:.75rem 0 1rem;padding:0}.content-links a{display:block;padding:.6rem 1rem;text-align:center;border:1px solid var(--color-card-border);border-radius:4px;background:#fafafa;color:inherit;text-decoration:none}.content-links a:hover{border-color:var(--color-accent);color:var(--color-accent)}.content-links .current{display:block;padding:.6rem 1rem;text-align:center;border:1px solid var(--color-accent);border-radius:4px;background:#fafafa;color:var(--color-fg)}.problem-pager{display:flex;justify-content:space-between;gap:1rem;margin-bottom:1rem;font-size:.95rem}.article-breadcrumb{font-size:.9rem;margin-bottom:.25rem}.article-meta{color:#777;font-size:.9rem}.article-download{margin-top:.75rem;font-size:.9rem}.article-card p{flex:1;font-size:.92rem;margin-bottom:.75rem}.article-card dl{font-size:.85rem}.article-card dl div{display:flex;gap:.5rem}.article-card dt:after{content:":"}.history-list{list-style:none;margin-bottom:.75rem}.history-list li{display:flex;gap:1rem}.history-date{flex:0 0 5.5em;color:#777}.framed{border:1px solid var(--color-card-border);border-radius:4px;padding:.5rem 1rem;text-align:center;background:#fafafa}.table-scroll{overflow-x:auto}.link-table{width:100%;border-collapse:collapse;font-size:.92rem}.link-table th,.link-table td{border-bottom:1px solid var(--color-card-border);padding:.4rem .6rem;text-align:left;white-space:nowrap}.link-table td:last-child{white-space:normal;min-width:12em}.dvi-scroll{overflow-x:auto}.dvi-scroll-clip{overflow-x:hidden}.dvi-page-wrap{position:relative;width:fit-content;margin:0 auto .5rem}.dvi-align-left .dvi-page-wrap{margin-left:0}.dvi-row{display:flex;column-gap:calc(var(--dvi-expand, 0) * 12px);align-items:flex-start;justify-content:center}.dvi-row .dvi-page-wrap{margin:0 0 .5rem;flex:none;overflow:hidden}.dvi-slot-center{width:calc((1 - var(--dvi-expand, 0)) * 100% + var(--dvi-expand, 0) * (100% - 24px) / 3)}.dvi-slot-side{width:calc(var(--dvi-expand, 0) * (100% - 24px) / 3);opacity:var(--dvi-expand, 0)}.dvi-slot-side:first-child{transform:translate(calc((var(--dvi-expand, 0) - 1) * 32px))}.dvi-slot-side:last-child{transform:translate(calc((1 - var(--dvi-expand, 0)) * 32px))}.dvi-row canvas.dvi-page{width:100%;height:auto}.frag-draft .frag-head b,.frag-draft .frag-body,.frag-draft .frag-heading{color:#b00020}.error-boundary{border:1px solid #e0a0b0;background:#fff5f7;color:#b00020;padding:.6rem .8rem;border-radius:6px;margin:.5rem 0;font-size:.85rem}.error-boundary pre{white-space:pre-wrap;overflow:auto;max-height:14rem;margin:.4rem 0 0;font-size:.72rem}.frag-env-definition,.frag-env-theorem,.frag-env-proposition,.frag-env-lemma{border-left:3px solid var(--color-accent);padding-left:.9rem}.frag-env-proof{border-left:2px solid var(--color-card-border);padding-left:.9rem}.frag-env-remark,.frag-env-example,.frag-env-construction,.frag-env-notation,.frag-env-overview,.frag-env-references{border-left:2px solid #ececec;padding-left:.9rem}.frag-heading{margin:1.25rem 0 .25rem}h2.frag-heading{font-size:1.2rem}h3.frag-heading{font-size:1.05rem}.dvi-side-page{cursor:pointer}.dvi-side-page:hover canvas.dvi-page{outline:2px solid var(--color-accent);outline-offset:-2px}.dvi-view:focus{outline:none}.dvi-view:focus-visible{outline:2px solid var(--color-accent);outline-offset:2px}.dvi-page{display:block;margin:0}.dvi-framed .dvi-page{border:1px solid var(--color-card-border)}.dvi-paper .dvi-page{background:#fff}.dvi-text-layer{position:absolute;top:0;right:0;bottom:0;left:0;overflow:hidden;line-height:1;cursor:text}.dvi-text-layer span{position:absolute;color:transparent;white-space:pre;transform-origin:0 0}.dvi-text-layer span::selection{background:#d165874d}a.dvi-link{position:absolute;border-radius:2px}a.dvi-link:hover{background:#d165871f}.bourbaki-fragment+.bourbaki-fragment{margin-top:1.25rem}.frag-head{margin:0 0 .35rem}@font-face{font-family:Harano Aji Mincho Subset;src:url(/fonts/HaranoAjiMincho-Regular.subset.otf) format("opentype");font-weight:400;font-display:swap}@font-face{font-family:Harano Aji Mincho Subset;src:url(/fonts/HaranoAjiMincho-Bold.subset.otf) format("opentype");font-weight:700;font-display:swap}.frag-body{text-align:justify;line-height:1.9}.frag-para{margin:0}.frag-para+.frag-para{margin-top:.2rem}.frag-formula{display:inline-block}.frag-display-wrap{display:block;text-align:center;margin:.6em 0;overflow-x:auto}.frag-formula-failed{background:#f4f1f1;border-radius:2px}.twist-explorer{border:1px solid var(--color-card-border);border-radius:6px;background:var(--color-card-bg);padding:.9rem 1.1rem;margin:1rem 0}.twist-explorer-controls{display:flex;flex-wrap:wrap;gap:.4rem 1.6rem;align-items:center;margin-bottom:.5rem}.twist-explorer-controls label{display:flex;align-items:center;gap:.5rem;font-size:.95rem}.twist-explorer-controls input[type=range]{width:9rem;accent-color:var(--color-accent)}.twist-explorer-val{display:inline-block;min-width:3.6em;font-variant-numeric:tabular-nums}.twist-explorer-multrow{flex-basis:100%;min-height:1.9rem}.twist-explorer-mults{display:inline-flex;flex-wrap:wrap;gap:.25rem}.twist-explorer-mults button{border:1px solid var(--color-card-border);border-radius:4px;background:var(--color-card-bg);color:var(--color-fg);padding:.05rem .5rem;cursor:pointer}.twist-explorer-mults button.active{border-color:var(--color-accent);color:var(--color-accent);font-weight:600}.twist-explorer-main{display:flex;flex-wrap:wrap;gap:.5rem 1.5rem;align-items:flex-start}.twist-explorer-main svg{flex:0 0 auto;color:var(--color-fg);max-width:100%;height:auto}.twist-explorer-info{flex:1 1 16rem;font-size:.92rem;line-height:1.7;max-height:320px;overflow-y:auto}.twist-explorer-info p{margin:.15rem 0}.twist-explorer-info ul{margin:.15rem 0;padding-left:1.4rem}.twist-explorer-note{color:#777;font-size:.85rem}.frag-bib{scroll-margin-top:1rem}.frag-bib:target{background:#fbe4ec}.frag-cite-wrap{position:relative}.frag-cite{text-decoration:none}.frag-cite:hover,.frag-cite:focus{text-decoration:underline}.frag-cite-tip{position:absolute;left:0;bottom:calc(100% + .35em);z-index:10;display:block;width:min(30em,78vw);padding:.5em .8em;background:var(--color-card-bg);border:1px solid var(--color-card-border);border-radius:4px;box-shadow:0 2px 10px #0000001f;font-size:.95em;pointer-events:none}.frag-cite-tip:empty{display:none}.frag-qed{float:right;line-height:1;margin-top:.45em}.dvi-skeleton{background:linear-gradient(90deg,#f0f0f0 25%,#e4e4e4 37%,#f0f0f0 63%);background-size:400% 100%;animation:dvi-shimmer 1.4s ease infinite}@keyframes dvi-shimmer{0%{background-position:100% 0}to{background-position:0 0}}.card-dvi{position:relative;left:50%;transform:translate(-50%);width:calc((1 - var(--dvi-expand, 0)) * 100% + var(--dvi-expand, 0) * min(94vw,1500px))}.card-dvi .article-body-header{width:min(100%,calc(var(--max-width) - 4.5rem - 2px));margin:0 auto}.article-body-header{display:flex;align-items:center;justify-content:space-between;gap:1rem;flex-wrap:wrap}.article-download{text-align:center}.dvi-viewer-toggle{display:flex;margin-bottom:.5rem;font-size:.9rem}.dvi-viewer-toggle button{border:1px solid var(--color-card-border);background:var(--color-card-bg);color:var(--color-fg);padding:.25rem .75rem;cursor:pointer}.dvi-viewer-toggle button:first-child{border-radius:4px 0 0 4px}.dvi-viewer-toggle button+button{border-left:none;border-radius:0 4px 4px 0}.dvi-viewer-toggle button:hover{color:var(--color-accent)}.dvi-viewer-toggle button.active{border-color:var(--color-accent);color:var(--color-accent);font-weight:600}.dvi-pager{display:flex;align-items:center;justify-content:center;gap:.75rem;margin-bottom:.5rem;font-size:.9rem}.dvi-pager button{border:1px solid var(--color-card-border);border-radius:4px;background:var(--color-card-bg);color:var(--color-fg);padding:.25rem .75rem;cursor:pointer}.dvi-pager button:disabled{color:#bbb;cursor:default}.dvi-pager button:not(:disabled):hover{border-color:var(--color-accent);color:var(--color-accent)}.dvi-status{color:#777;font-size:.9rem}.dvi-error{color:#b3261e}.site-footer{border-top:1px solid var(--color-card-border);text-align:center;padding:1rem;font-size:.85rem;color:#777}