: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}body{font-family:Hiragino Kaku Gothic ProN,Noto Sans JP,Yu Gothic UI,system-ui,sans-serif;background:var(--color-bg);color:var(--color-fg);line-height:1.8}.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}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)}.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-page{display:block;margin:0 auto .5rem}.dvi-align-left .dvi-page{margin-left:0}.dvi-framed .dvi-page{border:1px solid var(--color-card-border)}.dvi-paper .dvi-page{background:#fff}.bourbaki-fragment+.bourbaki-fragment{margin-top:1.25rem}.frag-head{margin:0 0 .35rem}.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-inline{margin:0 .14em}.frag-display-wrap{display:block;text-align:center;margin:.6em 0;overflow-x:auto}.frag-formula-failed{background:#f4f1f1;border-radius:2px}.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}}.dvi-pager{display:flex;align-items: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}