.catalog-intro{max-width:900px}.catalog-stats{display:flex;flex-wrap:wrap;gap:12px 26px;margin:26px 0;color:var(--muted);font:14px/1.7 -apple-system,BlinkMacSystemFont,Hiragino Sans,sans-serif}.catalog-stats strong{font:italic 24px/1 Georgia,serif;color:var(--link);margin-right:7px}.catalog-nav{display:flex;flex-wrap:wrap;gap:12px 25px;padding:18px 0;border-block:1px solid var(--line);font-size:14px;margin:25px 0 38px}.catalog-themes{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:20px}.catalog-theme{border-top:3px solid var(--link);padding:22px;background:#edf0e8;min-width:0}.catalog-theme h3{font-size:1.2rem;margin:0 0 14px;line-height:1.55}.catalog-theme .theme-aim{font-size:1rem;color:var(--link)}.catalog-theme p{font-size:1rem;line-height:1.85}.catalog-theme ul{padding:15px 0 0;margin:18px 0 0;border-top:1px solid #ccd6c5;list-style:none}.catalog-theme li{margin:9px 0;font:14px/1.65 -apple-system,BlinkMacSystemFont,Hiragino Sans,sans-serif}.catalog-theme li span{display:inline-block;color:var(--muted);min-width:27px}.catalog-reading-note{max-width:940px;font-size:1rem;line-height:1.9}.dependency-explorer{margin:26px 0 30px;border:1px solid var(--line);padding:26px;background:#fbfaf7}.dependency-controls{display:grid;grid-template-columns:2fr 1fr;gap:18px}.dependency-controls label{min-width:0;font:14px/1.7 -apple-system,BlinkMacSystemFont,Hiragino Sans,sans-serif;color:var(--muted)}.dependency-controls select{display:block;width:100%;margin-top:6px;padding:11px 34px 11px 12px;border:1px solid #aaa99e;background:#fff;color:var(--ink);border-radius:4px;font:14px/1.5 -apple-system,BlinkMacSystemFont,Hiragino Sans,sans-serif}.dependency-controls select:focus-visible{outline:2px solid var(--link);outline-offset:3px}.connection-count{font:14px/1.75 -apple-system,BlinkMacSystemFont,Hiragino Sans,sans-serif;color:var(--muted);margin:20px 0}.connection-list{list-style:none;margin:0;padding:0}.connection{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1.35fr) minmax(0,1fr);gap:23px;align-items:center;margin-top:24px}.connection+.connection{padding-top:24px;border-top:1px solid #e0ded6}.connection-node{padding:19px 18px;border:1px solid #c8cbbf;border-radius:5px;background:#fff;min-width:0}.connection-target{background:#eaf0e6;border-color:#aabc9e}.connection-node-label{font:12px/1.6 -apple-system,BlinkMacSystemFont,Hiragino Sans,sans-serif;letter-spacing:.07em;color:var(--muted)}.connection-node h3{font:600 18px/1.5 Georgia,Yu Mincho,serif;margin:8px 0 15px;overflow-wrap:anywhere}.connection-node h3 a{text-decoration:none;color:var(--ink)}.connection-node h3 a:hover{text-decoration:underline}.connection-citation{display:block;font:14px/1.75 -apple-system,BlinkMacSystemFont,Hiragino Sans,sans-serif}.connection-arrow p{font:16px/1.9 -apple-system,BlinkMacSystemFont,Hiragino Sans,sans-serif;margin:10px 0 7px}.connection-arrow svg{display:block;width:100%;height:16px;overflow:visible;stroke:var(--link);stroke-width:1.6;fill:none}.connection-kind{font:12px/1.5 -apple-system,BlinkMacSystemFont,Hiragino Sans,sans-serif;color:var(--link);border:1px solid #b9c8b1;padding:3px 7px;border-radius:3px}.connection-kind.tool{color:#81512d;border-color:#cdbda9}.connection-kind.consequence,.connection-kind.premise{color:#71556f;border-color:#cfc0ce}.connection-empty{padding:20px;background:#f0eee8;font-size:1rem}.dependency-controls[hidden],.connection[hidden],.connection-empty[hidden]{display:none}.catalog-audit summary{cursor:pointer;padding:15px 0;font-size:1rem;color:var(--link)}.catalog-audit summary:hover{text-decoration:underline}.catalog-inventory{min-width:900px}.catalog-inventory th:nth-child(1){width:56px}.catalog-inventory th:nth-child(2){width:28%}.catalog-inventory th:nth-child(3){width:39%}.catalog-inventory th:nth-child(4){width:28%}.catalog-inventory .table-detail{font-weight:400}.catalog-inventory .claim-source{margin-top:10px;display:block;font-size:14px}.catalog-inventory td p{margin:0 0 12px}.catalog-inventory .badge{font-size:14px}.catalog-scope{max-width:960px}.catalog-scope li{margin:14px 0;line-height:1.85}.catalog-scope code{overflow-wrap:anywhere}.catalog-external{display:grid;grid-template-columns:1fr 1fr;gap:22px}.catalog-external>div{padding:20px 24px;border-left:2px solid var(--link);background:#f0f1eb;min-width:0}.catalog-external h3{font-size:1rem;margin:0 0 10px}.catalog-external p{font-size:1rem;line-height:1.85}.catalog-external a{font-size:.875rem}@media(max-width:900px){.catalog-themes{grid-template-columns:1fr}.catalog-theme ul{display:flex;flex-wrap:wrap;gap:5px 20px}.catalog-theme li{margin:0}.catalog-theme p{max-width:750px}.connection{gap:15px}.dependency-explorer{padding:20px}.connection-node{padding:14px}.catalog-external{grid-template-columns:1fr}}@media(max-width:600px){.dependency-controls{grid-template-columns:1fr;gap:12px}.dependency-explorer{padding:16px}.connection{grid-template-columns:1fr;gap:14px;margin-top:20px}.connection-node{padding:16px}.connection-node h3{margin:6px 0 10px}.connection-arrow{position:relative;padding:0 0 27px 22px;border-left:1px solid #bfccb7;margin-left:18px}.connection-arrow svg{position:absolute;bottom:6px;left:-12px;width:24px;height:16px;transform:rotate(90deg)}.connection+.connection{margin-top:28px;padding-top:28px}.catalog-theme{padding:19px}.catalog-nav,.catalog-stats{gap:10px 18px}.catalog-external>div{padding:18px}.catalog-inventory{font-size:16px}}.catalog-theme h3 a{color:inherit;text-decoration:none}.catalog-theme h3 a:hover{text-decoration:underline}.catalog-crossings{border-left:3px solid var(--link);padding:18px 24px;margin-top:24px;max-width:960px;background:#f4f3ec;line-height:1.9;font-size:1rem}.catalog-crossings p{margin:8px 0 0}.catalog-strand{scroll-margin-top:90px}.catalog-strand .proof-figure{max-width:1100px}.catalog-strand .proof-diagram svg{min-width:0}.catalog-strand .proof-explanation{max-width:920px}.catalog-step-links{display:flex;flex-wrap:wrap;gap:6px 16px;font:14px/1.8 -apple-system,BlinkMacSystemFont,Hiragino Sans,sans-serif;margin:15px 0 8px}.catalog-step-links span{color:var(--muted)}.catalog-strand .source-line{display:flex;flex-wrap:wrap;gap:8px 20px}.connection-reading{grid-column:1/-1;display:flex;flex-wrap:wrap;gap:8px 20px;font:14px/1.8 -apple-system,BlinkMacSystemFont,Hiragino Sans,sans-serif;color:var(--muted)}.connection{scroll-margin-top:100px}.connection:target{outline:2px solid #b1c3a4;outline-offset:10px;background:#f1f5ed}.connection:focus-visible{outline:2px solid var(--link);outline-offset:10px}@media(max-width:600px){.catalog-crossings{padding:15px 18px}.catalog-step-links{display:block}.catalog-step-links a{display:block;margin:7px 0}.connection-reading{gap:8px 14px}.connection-reading span{flex-basis:100%}}.catalog-inventory .manuscript-title{display:block;font-size:1.25rem;line-height:1.6;font-weight:600;text-decoration:none}.catalog-inventory .manuscript-title:hover{text-decoration:underline;text-underline-offset:.2em}.catalog-inventory .manuscript-source{display:inline-block;margin-top:14px;font-size:14px;font-weight:400}.catalog-inventory .overview-link{display:inline-flex;align-items:center;min-height:44px;padding:9px 14px;border:1px solid var(--link);background:#edf0e8;font-size:16px;line-height:1.65;font-weight:600;text-decoration:none}.catalog-inventory .overview-link:hover{background:var(--link);color:var(--paper)}.catalog-inventory td:first-child{white-space:nowrap;font-variant-numeric:tabular-nums}