*{box-sizing:border-box}:root{color-scheme:dark;--bg:#0b1020;--surface:#111a2c;--panel:#131d30;--ink:#ecf0f8;--muted:#a4afc4;--line:#2e3b55;--accent:#98b9f5;--easy:#86d6b5;--hard:#f2bc8d;--axiom:#c4acf1;--pending:#e4ce83;font:14px/1.5 ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif}body{margin:0;background:var(--bg);color:var(--ink)}button,input,select{font:inherit}button{color:inherit;background:none;border:0;cursor:pointer}button:hover,a:hover{color:white}button:focus-visible,a:focus-visible,input:focus-visible,select:focus-visible,summary:focus-visible{outline:2px solid #c3d8ff;outline-offset:4px}a{color:var(--accent);text-underline-offset:3px}button:disabled{cursor:default;color:#748096}button[hidden],[hidden]{display:none!important}#atlas{position:relative;width:100%;height:100dvh;min-height:480px;overflow:hidden}header{height:88px;padding:20px 30px;display:flex;align-items:center;justify-content:space-between;gap:28px;position:relative;z-index:20;border-bottom:1px solid #1e2940;background:#0b1020}.brand{padding:0;display:flex;align-items:center;gap:6px;white-space:nowrap;font-size:22px;letter-spacing:-.8px}.brand b{font-weight:650}.brand>span{color:#b1c9ff;font-size:32px;margin-right:5px}.search-wrap{position:relative;width:390px;max-width:40vw}.search-wrap>span{position:absolute;left:14px;top:8px;font-size:22px;color:#a1b2cf}#search{width:100%;padding:11px 36px;border:1px solid #34415a;background:#111a2c;color:var(--ink);border-radius:6px;font-size:12px}#search::placeholder{color:#9eabc1}kbd{position:absolute;right:15px;top:11px;font-size:12px;color:#8394b0}nav{display:flex;gap:15px;align-items:center}.view-switch{display:flex;background:#111a2c;border:1px solid #35435e;border-radius:5px;padding:3px;gap:3px}.view-switch button{font-size:11px;padding:6px 11px;border-radius:3px;color:#9dabbe}.view-switch button[aria-pressed=true]{background:#334565;color:#f2f6ff}.button{background:#162137;border:1px solid #34445f;border-radius:5px;padding:8px 12px;font-size:11px;white-space:nowrap}.button:hover{background:#22314c}.button span{color:#a1b8db;margin-left:7px}.text-button{font-size:11px;color:#acc7f5;padding:6px 9px;border-radius:4px}.text-button:hover,.text-button[aria-pressed=true]{background:#1a2a44}#heading{padding:18px 32px 12px;position:relative;z-index:8;pointer-events:none}#heading>*{pointer-events:auto}.topic-controls{display:flex;align-items:center;gap:12px;min-height:34px}.topic-controls .button{font-size:11px;padding:6px 10px}#active-topics{display:flex;gap:6px;align-items:center;flex-wrap:wrap;font-size:11px;color:#b5c0d4}.topic-pill{padding:3px 7px;border-left:2px solid #677b9f}h1{font-size:26px;line-height:1.2;font-weight:560;letter-spacing:-.7px;margin:17px 0 8px}#view-takeaway{font-size:12px;line-height:1.55;color:#aebbd1;margin:0;max-width:860px}.popover{position:absolute;z-index:25;left:31px;top:145px;width:365px;max-height:calc(100% - 210px);overflow:auto;border:1px solid #3b4a65;border-radius:8px;background:#121c30;box-shadow:0 15px 50px #0008;padding:12px 16px}.menu-hint{font-size:12px;margin:3px 0 13px;color:#d0d9e9}.menu-foot{font-size:10px;color:#94a3bc;margin:13px 0 2px;line-height:1.6}.topic-row{display:flex;gap:8px;align-items:center;padding:9px 0;border-bottom:1px solid #26324b}.topic-row label{display:flex;align-items:center;gap:10px;flex:1;font-size:12px;cursor:pointer;line-height:1.4}.topic-row input{accent-color:#9ebcf2;width:15px;height:15px;flex-shrink:0}.topic-row small{display:block;font-size:9px;color:#9cabc4;margin-top:3px}.topic-row button{padding:5px 7px;font-size:10px;color:#bdd2ff;border:1px solid #384966;border-radius:4px}.topic-row.disconnected label{color:#8997ae}#stage{position:absolute;left:0;right:0;top:230px;bottom:64px;overflow:hidden;touch-action:none}#map2d,#map3d,#labels3d{position:absolute;inset:0;width:100%;height:100%;touch-action:none}#map2d{cursor:grab;overflow:visible}#map2d:active,#map3d:active{cursor:grabbing}.section-box{fill:#0f1729;stroke:#202d44;stroke-width:1;rx:12}.section-title{fill:#9dabc3;font-size:12px;font-weight:500;letter-spacing:.6px}.section-note{fill:#8292ae;font-size:10px}.lane-rule{fill:#445475;stroke-width:1;stroke:#445475}.edge-path{fill:none;stroke:#91afe5;stroke-width:1.8;opacity:.72;pointer-events:none}.edge-path.other{stroke:#b19dd4;stroke-dasharray:6 5}.edge-path.active{stroke:#f2cc83;stroke-width:2.4;opacity:1}.edge-path.dim{opacity:.14}.edge-hit{fill:none;stroke:transparent;stroke-width:16;pointer-events:stroke;cursor:pointer}.edge-caption{pointer-events:none}.edge-caption rect{fill:#152138;stroke:#5e6d87;rx:4}.edge-caption text{fill:#e4d6b5;font-size:11px;text-anchor:middle}.map-node{width:224px;height:96px;padding:11px 13px;background:#121d32;border:1px solid #2c3c59;border-radius:7px;text-align:left;display:block;overflow:hidden;transition:opacity .1s;color:#edf2fa;cursor:pointer;line-height:1.3}.map-node:hover{border-color:#a4bdec;background:#172640}.map-node.selected{border:2px solid #e5bc79;background:#1e293d;padding:10px 12px}.map-node.dim{opacity:.33}.map-node.featured{border-color:#71634e;background:#1b2232}.map-node .node-rule{display:block;font-size:11px;color:#d9e3f5;white-space:nowrap;overflow:hidden;text-overflow:ellipsis;font-weight:600}.map-node .node-title{display:block;font-size:12px;margin-top:4px;white-space:nowrap;overflow:hidden;text-overflow:ellipsis}.node-result{display:inline-block;font-size:10px;line-height:1.5;border-radius:3px;padding:2px 6px;background:#202a3d;color:#aebcce;margin-top:7px;font-weight:650}.node-kind{font-size:9px;color:#a4b2c9;margin-left:7px}.node-result.easy,.badge.easy{color:#8bdabb;background:#193b37}.node-result.hard,.badge.hard{color:#f5c18e;background:#47352b}.node-result.axiom,.badge.axiom{color:#ceb5fa;background:#342c48}.node-result.pending,.badge.pending{color:#e8d498;background:#3d3829}.node-result.space,.badge.space{color:#e0b3f2;background:#3c2948}.node-meta{font-size:9px;color:#a3b1c6;margin-top:5px;display:block}.map-node.search-node{height:114px}.map-node .algorithm{font-size:9px;color:#cabfe0;display:block;margin-top:5px}#labels3d{pointer-events:none;overflow:hidden}.space-label{position:absolute;max-width:225px;min-width:120px;padding:5px 8px;background:#0c1426d9;border:1px solid #3d4d69;border-radius:4px;text-align:left;pointer-events:auto;transform:translate(-50%,0);font-size:10px;color:#dce7fa}.space-label strong{display:block;font-weight:600;font-size:11px}.space-label>span{display:block;font-size:10px}.space-label .node-result{display:inline-block;font-size:9px;margin-top:4px}.space-label.selected{border-color:#f2cc83}.space-label.dim{opacity:.32}.space-label.buried{visibility:hidden}#render-note{position:absolute;left:20px;bottom:15px;max-width:400px;font-size:11px;background:#26304a;padding:9px 12px;border-radius:4px}#hover{position:absolute;pointer-events:none;z-index:14;background:#23314a;color:#ecf2fc;padding:9px 12px;border:1px solid #526581;border-radius:5px;font-size:11px;max-width:310px}#hover b{display:block;font-size:9px;color:#aec2e5;margin-bottom:3px}#empty{position:absolute;left:50%;top:38%;transform:translate(-50%,-50%);text-align:center}#empty h2{font-size:23px;font-weight:500}#empty p{font-size:12px;color:#a5b2c7}#panel{position:absolute;top:99px;right:15px;bottom:65px;width:360px;max-width:calc(100% - 24px);background:#131e32;border:1px solid #405171;border-radius:9px;box-shadow:0 14px 50px #0007;z-index:21;overflow:auto;scrollbar-width:thin;scrollbar-color:#566986 transparent}#panel-content{padding:28px 24px}#close-panel{position:sticky;top:8px;margin:8px 8px -38px auto;display:block;z-index:1;background:#131e32}#panel h2{font-size:22px;font-weight:570;letter-spacing:-.4px;line-height:1.3;margin:13px 16px 13px 0}#panel h3{font-size:13px;font-weight:600;margin:23px 0 8px}#panel p{font-size:12px;color:#afbdd4;line-height:1.65;margin:12px 0}#panel .question{font-size:14px;color:#e1e9f6;margin:20px 0}.eyebrow{font-size:9px;color:#a8bad9;letter-spacing:1.3px;text-transform:uppercase}.badge{display:inline-block;padding:4px 7px;border-radius:4px;background:#2f3d56;font-size:11px;font-weight:650}.status-note{font-size:10px;color:#92a5c3;margin-top:7px;line-height:1.5}.actions{display:flex;flex-wrap:wrap;gap:7px;margin:17px 0}.actions button{padding:7px 9px;border:1px solid #43587a;border-radius:4px;background:#1b2b45;color:#c5dbff;font-size:10px}details{border-top:1px solid #32425e;padding:13px 0}summary{list-style:none;font-size:12px;cursor:pointer;color:#d4def0;display:flex;justify-content:space-between}summary:after{content:'+';color:#adc0e2}details[open]>summary:after{content:'−'}summary::-webkit-details-marker{display:none}dl{margin-top:12px}dt{font-size:9px;text-transform:uppercase;letter-spacing:.7px;color:#98accb;margin:13px 0 4px}dd{font-size:11px;line-height:1.55;color:#c7d2e5;margin:0}.sources{list-style:none;padding:0;font-size:11px;line-height:1.6}.sources li{padding:8px 0}.sources .locator{display:block;font-size:10px;color:#96a9c8;margin-top:5px}.connection,.result{display:block;width:100%;text-align:left;padding:12px 0;border-bottom:1px solid #30405b}.connection small,.result small{display:block;font-size:9px;line-height:1.5;color:#9eb3d3;margin-bottom:4px}.connection strong,.result strong{font-size:12px;line-height:1.5;font-weight:570;display:block}.connection>span,.result>span{font-size:10px;color:#acbeda;margin-top:4px;display:block}.connection .edge-arrow{display:inline;color:#e4c68e;font-size:15px}.warning{border-left:2px solid #c7a257;padding-left:11px;margin:15px 0}.warning p{color:#deca9f!important}.minor-link{font-size:11px;color:#b5cfff;padding:5px 0}.filter-grid{display:grid;grid-template-columns:1fr 1fr;gap:12px;margin:20px 0}.filter-grid label,.path-controls label{font-size:10px;color:#afc0d9}.filter-grid select,.path-controls select{width:100%;font-size:11px;border:1px solid #425674;background:#1b2941;border-radius:4px;padding:8px 6px;margin-top:4px;color:#d6e1f3}.filter-grid .wide{grid-column:1/-1}.path-controls select{margin-bottom:12px}#path-summary{font-size:11px}.result-count{font-size:10px;color:#9cafcd;margin:19px 0 4px}#search-results{position:absolute;left:0;right:0;top:50px;background:#131f34;border:1px solid #435878;border-radius:7px;padding:7px 16px;box-shadow:0 15px 50px #0007;max-height:65vh;overflow:auto}#search-results p{font-size:12px;color:#a8bad6}footer{position:absolute;bottom:0;left:0;right:0;padding:17px 25px;z-index:9;height:64px;background:#0b1020;display:flex;align-items:center;justify-content:space-between;gap:20px;font-size:10px;border-top:1px solid #1e2940}.legend{display:flex;gap:17px;font-size:10px;color:#b2bdd1;padding:0}.legend span{display:flex;align-items:center;gap:7px}.legend i{width:25px;border-top:2px solid #91afe5;position:relative}.legend i:after{content:'';position:absolute;right:-1px;top:-4px;border-left:6px solid #91afe5;border-top:3px solid transparent;border-bottom:3px solid transparent}.legend i.dashed{border-top-style:dashed;border-color:#b19dd4}.legend i.dashed:after{border-left-color:#b19dd4}#coverage{font-size:10px;color:#a9b9d2}.camera-controls{display:flex;gap:4px;align-items:center}.camera-controls>span{font-size:9px;color:#95a6c4;margin-right:10px}.icon-button{font-size:23px;width:32px;height:32px;color:#c3d0e5;border-radius:4px;line-height:1}.icon-button:hover{background:#243650}.muted{color:var(--muted)}.sr-only{position:absolute;width:1px;height:1px;overflow:hidden;clip:rect(0,0,0,0)}.skip{position:absolute;top:-80px;left:20px;z-index:40;background:#1a2943;padding:10px}.skip:focus{top:10px}
@media(max-width:1050px){header{gap:18px;padding:18px 23px}.brand{font-size:20px}.search-wrap{max-width:38vw}#heading{padding-left:25px}.camera-controls>span{display:none}.popover{left:25px}}
@media(max-width:700px){header{height:122px;padding:14px 16px;flex-wrap:wrap;gap:12px}.brand{font-size:19px}.brand>span{font-size:25px}.search-wrap{order:3;width:100%;max-width:none}#search{padding-top:8px;padding-bottom:8px;font-size:11px}.search-wrap>span{top:4px}kbd{top:8px}nav{gap:8px}.view-switch button{padding:5px 8px}nav>.button{font-size:10px;padding:7px 8px}nav>.button span{display:none}#heading{padding:13px 17px 9px}.topic-controls{gap:6px;flex-wrap:wrap}#active-topics{font-size:9px;gap:2px}.topic-pill{padding:2px 5px}h1{font-size:22px;margin:12px 0 7px}#view-takeaway{font-size:11px;max-width:100%}.topic-controls .text-button{font-size:10px}.popover{left:10px;right:10px;top:166px;width:auto;max-height:calc(100% - 240px)}#stage{top:253px;bottom:89px}#panel{top:123px;left:7px;right:7px;bottom:78px;width:auto;max-width:none}footer{padding:13px 13px;height:79px;gap:5px;align-items:flex-end}.legend{position:absolute;top:9px;left:16px;font-size:8px}.camera-controls .button{font-size:10px;padding:6px 9px}#coverage{font-size:9px;padding:0;margin-bottom:8px}.icon-button{width:29px;height:29px}.space-label{font-size:9px;max-width:150px;min-width:80px}.space-label strong{font-size:10px}.space-label .node-result{font-size:8px}#render-note{max-width:calc(100% - 30px);font-size:10px}}
@media(prefers-reduced-motion:reduce){*{transition:none!important;scroll-behavior:auto!important}}
@media(max-width:700px){.camera-controls>span{display:block;position:absolute;right:16px;top:9px;font-size:8px;color:#98abc9;margin:0}}
.node-result.oracle,.badge.oracle{color:#afccf5;background:#253a58}

/* v5: quiet neighborhoods, readable fixed-size arrows, optional comparisons. */
.edge-path{stroke-width:2.2;opacity:.86;vector-effect:non-scaling-stroke}.edge-path.active{stroke-width:3.2}.edge-hit{stroke-width:20;vector-effect:non-scaling-stroke}.edge-path.dim{opacity:.22}
#hover{max-width:min(390px,calc(100% - 20px));font-size:13px;line-height:1.45;padding:12px 15px;box-shadow:0 6px 24px #0006;overflow-wrap:anywhere}#hover b{font-size:10px;color:#f2cc83;text-transform:uppercase;letter-spacing:.7px}#hover strong{display:block;font-weight:550}#hover span{display:block;font-size:10px;color:#adbed8;margin-top:7px}
.topic-row.disconnected label{color:#b2bdd0;cursor:default}.topic-row small.no-connection{color:#d6b98a;font-size:10px}.topic-row.disconnected input{opacity:.45}.topic-row button{font-size:10px;line-height:1.35;min-width:66px}.menu-foot{font-size:11px}.popover{width:390px}.topic-row small{font-size:10px}
#tree-note{position:absolute;left:22px;bottom:14px;color:#95aac9;font-size:10px;pointer-events:none;padding:5px 8px;background:#0b1020b8;border-radius:4px}
#properties-view{position:absolute;inset:88px 0 64px;z-index:19;background:#0d1525;overflow:auto;padding:28px 34px 36px;touch-action:pan-x pan-y}.properties-top{display:flex;align-items:flex-start;justify-content:space-between}.properties-top h2{font-size:25px;font-weight:550;letter-spacing:-.5px;margin:5px 0}.properties-intro{font-size:12px;color:#aebed5;max-width:850px;margin:10px 0 22px}.properties-controls{display:flex;align-items:center;gap:24px;justify-content:space-between;margin-bottom:20px}.properties-controls input{background:#142038;border:1px solid #3c4f70;border-radius:5px;color:#e8eef8;padding:9px 12px;font-size:12px;width:220px}.property-key{font-size:11px;color:#b8c7de}.property-key b{font-size:17px;padding:0 4px 0 15px}.satisfies{color:#90dabb}.violates{color:#efae9d}.depends{color:#e4cb8b}#property-table{overflow:auto;max-width:100%;scrollbar-width:thin}#property-table table{border-collapse:collapse;table-layout:fixed;width:1040px;min-width:940px;max-width:100%;font-size:12px}#property-table th,#property-table td{border-bottom:1px solid #2b3a53;padding:12px 10px;text-align:center}#property-table thead{background:#121e33}#property-table thead th{font-size:11px;color:#bac9e0;font-weight:500}#property-table thead button{padding:0;font-size:11px;line-height:1.4;text-decoration:underline dotted #63748f;text-underline-offset:4px}#property-table th:first-child{text-align:left;width:225px;min-width:200px}#property-table tbody th strong{display:block;font-size:12px;font-weight:550;color:#e0e9f7}#property-table tbody th span{display:block;font-size:10px;line-height:1.45;font-weight:400;color:#95a9c7;margin-top:4px;max-width:240px}.property-cell{border:1px solid transparent;border-radius:5px;width:100%;min-width:72px;padding:5px 8px;line-height:1.2}.property-cell b{font-size:22px;font-weight:450;display:block}.property-cell span{font-size:9px;display:block;margin-top:4px}.property-cell:hover{background:#1a2a43;border-color:#50688d;color:inherit}.not-reviewed{color:#677d9c;font-size:18px}.not-reviewed small{display:block;font-size:9px;color:#899cb8}.property-status{display:inline-block;border:1px solid currentColor;padding:3px 9px;border-radius:4px;font-size:12px}.property-condition{border-left:2px solid #a4b8d8;padding-left:12px;color:#d0dcef!important}.property-example{white-space:pre-wrap;font-size:10px;color:#b6c9e4;overflow-wrap:anywhere;line-height:1.6}
@media(max-width:1050px){header{gap:15px}nav{gap:9px}.search-wrap{width:350px}#properties-view{padding:24px}.property-key{font-size:10px}.property-key b{padding-left:8px}}
@media(max-width:700px){.popover{width:auto}.topic-row small{font-size:9px}.topic-row small.no-connection{font-size:9px}nav{gap:4px}#properties{font-size:10px;padding:6px}#properties-view{inset:122px 0 79px;padding:17px}.properties-top h2{font-size:22px}.properties-controls{flex-wrap:wrap;gap:12px}.properties-controls input{width:100%}.property-key{font-size:9px}.property-key b{padding-left:5px;font-size:14px}#tree-note{font-size:9px;bottom:8px;left:10px}}

.properties-top{justify-content:flex-start;gap:22px;align-items:center}.properties-top>#close-properties{border:1px solid #405675;padding:7px 12px}#properties[aria-pressed=true]{background:#243751;color:#edf5ff}
@media(max-width:700px){.properties-top{gap:12px}.properties-top h2{font-size:20px}.properties-top .eyebrow{font-size:8px}.properties-top>#close-properties{padding:6px 9px}}
@media(max-width:700px){header{display:grid;grid-template-columns:minmax(0,1fr) auto;align-content:center;gap:10px;padding:14px 16px}.brand{font-size:17px;gap:4px}.brand>span{font-size:22px;margin-right:2px}.search-wrap{grid-column:1/-1;order:initial;width:100%;max-width:none}nav{gap:3px}.view-switch button{font-size:10px;padding:4px 7px}#properties{font-size:9px;padding:5px 4px}nav>.button{font-size:9px;padding:6px 7px}}
@media(max-width:370px){.brand>span{display:none}.brand{font-size:16px}}

@media(max-width:700px){header nav{grid-column:2;grid-row:1}.search-wrap{grid-row:2}}

/* v6: a small visual vocabulary for different statements. */
.map-node.type-property{border-radius:48px;padding-left:25px;padding-right:25px;background:#191e35}.map-node.type-property.selected{padding-left:24px;padding-right:24px}.map-node.type-theorem,.map-node.type-model{border-radius:0;clip-path:polygon(15px 0,calc(100% - 15px) 0,100% 50%,calc(100% - 15px) 100%,15px 100%,0 50%);padding-left:23px;padding-right:23px;background:#202139}.map-node.type-benchmark{border-radius:0;clip-path:polygon(10% 0,90% 0,100% 100%,0 100%);padding-left:27px;padding-right:27px;background:#1b263b}.map-node.type-benchmark.selected{padding-left:26px;padding-right:26px}
.space-label.type-property{border-radius:22px;padding-left:14px;padding-right:14px}.space-label.type-theorem,.space-label.type-model{border-radius:0;border-left:3px double #94a8ca}.space-label.type-benchmark{border-radius:0;border-top:2px solid #b4c7e4}
.edge-path.restriction{stroke:#87c9c1;stroke-dasharray:10 4}.edge-path.restriction.active{stroke:#f2cc83}.legend i.restricted{border-top:2px dashed #87c9c1}.legend i.restricted:after{border:0;border-top:2px solid #87c9c1;border-right:2px solid #87c9c1;transform:rotate(45deg);width:6px;height:6px;top:-4px;right:0}.legend{gap:15px}
.coverage-links{display:flex;align-items:center;flex-direction:column;gap:3px;font-size:9px}.coverage-links a{color:#a8bbd8;text-decoration:none}.coverage-links a:hover{text-decoration:underline}.shape-guide p{display:flex;align-items:center;flex-wrap:wrap;gap:5px}.shape-sample{display:inline-block;flex-shrink:0;width:33px;height:20px;background:#415876;border:1px solid #a3badb;margin-right:5px;border-radius:4px}.shape-sample.type-property{border-radius:15px}.shape-sample.type-theorem{border-radius:0;clip-path:polygon(6px 0,calc(100% - 6px) 0,100% 50%,calc(100% - 6px) 100%,6px 100%,0 50%)}.shape-sample.type-benchmark{border-radius:0;clip-path:polygon(15% 0,85% 0,100% 100%,0 100%)}
#properties{min-width:75px}#properties[aria-pressed=true]{color:#eaf2ff}#property-review-note{max-width:1100px;margin-bottom:8px}#property-review-note strong{color:#dae6f9}.properties-native-note{font-size:11px;color:#aebfd9;max-width:1070px;margin:0 0 20px;line-height:1.55}.rule-definition{padding:0;text-align:left;color:#c5dcff}.rule-definition strong{color:#c5dcff!important;text-decoration:underline;text-decoration-color:#657d9c;text-underline-offset:4px}.rule-definition>span{font-size:9px!important;color:#9db7dc!important;margin:5px 0!important}.rule-definition:hover strong{color:#fff!important}.model-warning{display:block;color:#ddc799;font-size:9px;font-weight:400;line-height:1.5;margin-top:6px}.model-divider th{font-size:10px!important;letter-spacing:.4px;background:#111e31;color:#afc6e5!important;padding:11px!important;text-align:left!important}.property-cell sup{font-size:10px;position:absolute;padding-left:3px}.native-criterion{font-size:11px!important;border-left:2px solid #c9b07d;padding-left:12px;color:#d7cba9!important}.property-cell.unresolved,.property-cell.not-applicable{color:#bac8dc}.rule-steps{font-size:12px;color:#bfcde3;padding-left:19px;line-height:1.7}
@media(max-width:1050px){.legend{gap:10px;font-size:9px}.legend i{width:20px}.coverage-links{font-size:8px}#properties{min-width:70px}}
@media(max-width:700px){.coverage-links{align-items:flex-start;gap:1px;margin-bottom:3px;font-size:8px}#coverage{margin-bottom:0}.legend{font-size:8px;gap:9px}.legend i{width:18px}.camera-controls>span{display:none}.properties-native-note{font-size:10px}.properties-intro{font-size:11px}#properties{min-width:0}.showing-properties .brand{font-size:15px}.showing-properties .brand>span{display:none}.showing-properties #properties{font-size:9px;min-width:78px;padding-left:2px;padding-right:2px}}

.space-label .space-reduction{display:block;font-size:9px;color:#b7c8e3;margin-top:3px;line-height:1.4}

/* Compact comparison and primary map navigation. */
.properties-controls{max-width:1040px}
#topics-button{background:#243c62;border-color:#759bd4;font-size:12px;font-weight:600;padding:7px 12px}
#topics-button:hover,#topics-button[aria-expanded=true]{background:#2f4c78}
#topics-button span{color:#cddcf5}
.topic-menu-head{display:flex;align-items:center;justify-content:space-between;gap:10px}
.topic-menu-head h2{font-size:13px;font-weight:600;margin:3px 0 10px}
.topic-bulk-actions{display:flex;gap:2px;margin-bottom:7px}
.topic-bulk-actions .text-button{padding:5px 7px}
.topic-bulk-actions button:disabled{color:#748096;background:transparent}

/* Centered comparison with one table scrolling surface. */
#properties-view{display:flex;flex-direction:column;overflow:hidden;padding:24px 30px 22px;gap:0}
#properties-view>.properties-top,#properties-view>.properties-intro,#properties-view>.properties-native-note,#properties-view>.properties-controls{width:100%;max-width:1040px;margin-left:auto;margin-right:auto;flex-shrink:0}
#properties-view>.properties-intro{margin-top:10px;margin-bottom:8px}
#properties-view>.properties-native-note{margin-bottom:15px}
#properties-view>.properties-controls{margin-top:0;margin-bottom:16px}
#property-table{width:100%;max-width:1040px;min-height:100px;flex:1;margin:0 auto;overflow:auto;overscroll-behavior:contain;scrollbar-color:#4c6080 #101a2c;border-top:1px solid #3b4c68;border-bottom:1px solid #2b3a53}
#property-table table{width:100%;min-width:940px;max-width:none;border-collapse:separate;border-spacing:0;margin:0 auto}
#property-table thead th{position:sticky;top:0;z-index:3;background:#152138;box-shadow:0 1px 0 #4b5c76;vertical-align:middle}
#property-table thead th:first-child{left:0;z-index:4}
#property-table .rule-row>th{position:sticky;left:0;z-index:2;background:#0d1525;box-shadow:1px 0 0 #293a54}
#property-table .model-divider th{position:static}
#property-table .rule-row:hover>th{background:#101c30}
/* Icon, text field, native clear control, and shortcut share a single baseline. */
.search-wrap{display:flex;align-items:center;gap:10px;height:40px;padding:0 12px;border:1px solid #34415a;border-radius:6px;background:#111a2c;min-width:140px}
.search-wrap:focus-within{border-color:#a9c5f3;box-shadow:0 0 0 1px #a9c5f3}
.search-icon{display:block;width:17px;height:17px;flex:0 0 17px;stroke:#a1b2cf;stroke-width:1.7;stroke-linecap:round}
#search{display:block;min-width:0;flex:1;width:0;height:100%;padding:0;border:0;border-radius:0;background:transparent;font-size:12px;line-height:1.4;outline:none}
.search-wrap>kbd{position:static;display:grid;place-items:center;flex:0 0 18px;height:20px;padding:0;border:1px solid #354762;border-radius:3px;font:11px/1 ui-monospace,SFMono-Regular,Consolas,monospace;color:#a1b2cb}
#search-results{top:calc(100% + 8px)}
@media(max-width:700px){#properties-view{padding:15px 16px 16px}#properties-view>.properties-native-note{margin-bottom:12px}#properties-view>.properties-controls{gap:8px;margin-bottom:12px}.properties-controls input{padding:8px 10px}.search-wrap{height:36px;padding:0 10px;gap:8px}#search{font-size:11px;padding:0}.search-icon{width:16px;height:16px;flex-basis:16px}.search-wrap>kbd{height:18px;flex-basis:16px;font-size:10px}#property-table th,#property-table td{padding:10px 8px}#property-table th:first-child{width:200px;min-width:200px}}
@media(max-height:650px){#properties-view{padding-top:12px;padding-bottom:12px}.properties-top h2{font-size:21px}#properties-view>.properties-native-note{margin-bottom:8px;font-size:10px}#properties-view>.properties-intro{margin-top:5px;margin-bottom:5px;font-size:11px}#properties-view>.properties-controls{margin-bottom:9px}.properties-controls input{padding-top:6px;padding-bottom:6px}}

#properties-view>.properties-native-note{border:0;padding:0;margin-top:0;margin-bottom:12px}
.properties-native-note summary{display:inline-flex;align-items:center;gap:9px;font-size:11px;color:#b2c4df}
.properties-native-note summary:after{font-size:13px}
.properties-native-note p{max-width:100%;margin:7px 0 0;font-size:11px;line-height:1.5}
@media(max-height:650px){#properties-view>.properties-native-note{margin-bottom:7px}.properties-native-note p{font-size:10px}}
@media(max-height:550px) and (min-width:560px) and (max-width:700px){.showing-properties header{height:88px;padding:8px 16px;gap:6px}.showing-properties .search-wrap{height:30px}.showing-properties #properties-view{inset:88px 0 64px}.showing-properties footer{height:64px}.showing-properties .properties-controls{flex-wrap:nowrap}.showing-properties .properties-controls input{width:220px}}

/* Optional rule finder. Computational and axiomatic filters keep their models separate. */
.finder-mode{display:block;font-size:11px;color:#b8c8e0;margin:20px 0 0}
.finder-mode select{display:block;width:100%;margin-top:5px;padding:9px 8px;border:1px solid #637fa8;border-radius:5px;background:#1a2c49;color:#edf3ff;font-family:inherit;font-size:12px;line-height:1.4}
.finder-filters{margin:14px 0 10px;gap:12px}
.finder-filters label:has(#filter-property){grid-column:1/-1}
#panel .finder-note{font-size:11px;margin:10px 0 16px}
.finder-rule{padding:0;border-top:0;border-bottom:1px solid #344761}
.finder-rule summary{padding:13px 0;gap:8px;align-items:center}
.finder-rule summary strong{font-size:13px;font-weight:550;flex:1}
.finder-rule summary>span{font-size:10px;color:#a5b8d5}
.finder-rule .result{padding:10px 7px;border-bottom-color:#263850}
.finder-rule .result:last-child{border:0;margin-bottom:6px}
.finder-rule .result:hover{background:#1a2a44}
.finder-rule .result>span{font-size:10px;line-height:1.5}

/* Map browsing controls stay in the upper-left corner while the map moves. */
#heading h1{margin-top:0}
#map-tools{position:absolute;top:14px;left:24px;z-index:16;display:flex;align-items:center;flex-wrap:wrap;gap:7px;max-width:calc(100% - 48px);min-height:0;padding:5px;background:#0c1526ed;border:1px solid #354660;border-radius:7px;box-shadow:0 4px 16px #0003;touch-action:manipulation}
#map-tools .button{font-size:12px;padding:7px 12px}
#map-tools #active-topics{display:none}
#map-tools #browse{font-weight:550;background:#192a44;border-color:#456085}
#map-tools #browse:hover{background:#263e60}
#stage>#topics-menu{left:24px;right:auto;top:66px;width:390px;max-width:calc(100% - 48px);max-height:calc(100% - 80px);z-index:25;touch-action:pan-y}
@media(max-width:700px){#map-tools{top:10px;left:12px;max-width:calc(100% - 24px);gap:5px;padding:4px}#map-tools .button{font-size:11px;padding:7px 10px}#stage>#topics-menu{left:12px;right:12px;width:auto;max-width:none}#heading h1{margin-top:0}#map-tools .text-button{font-size:10px;padding:6px}}

/* Multi-select finder: one quiet column, related choices kept together. */
#panel .finder-note{font-size:11px;line-height:1.6;margin:10px 0 14px}
.finder-filters{display:block;margin:14px 0 0}
.finder-filter{padding:0;margin:0;border-top:0;border-bottom:1px solid #344761}
.finder-filter>summary{padding:11px 0;align-items:center;gap:9px;font-size:12px}
.finder-filter>summary strong{font-weight:500;flex:1}
.finder-filter>summary>span{font-size:10px;color:#acc0de;max-width:48%;text-align:right}
.finder-filter[open]>summary{color:#e7efff}
.filter-menu{padding:0 0 10px}
.filter-bulk{display:flex;gap:13px;padding:1px 0 9px}
.filter-bulk button{font-size:10px;color:#b9d3f9;padding:4px 0}
.filter-bulk button:hover{text-decoration:underline}
.filter-options{max-height:255px;overflow:auto;overscroll-behavior:contain;scrollbar-width:thin;padding-right:7px}
.finder-option{display:flex;align-items:flex-start;gap:9px;padding:7px 4px;font-size:12px;line-height:1.5;color:#cddbf0;cursor:pointer;border-radius:4px}
.finder-option:hover{background:#1d2d47}
.finder-option input{appearance:auto;accent-color:#86b5fa;flex:0 0 15px;width:15px;height:15px;margin:2px 0 0;cursor:pointer}
.finder-option span{overflow-wrap:anywhere}
.filter-group-label{font-size:10px;color:#95afd2;letter-spacing:.2px;padding:13px 4px 6px;border-top:1px solid #273c56;margin-top:5px}
.filter-group-label:first-child{padding-top:5px;border:0;margin:0}
#panel .filter-section-title{font-size:10px;font-weight:500;text-transform:uppercase;letter-spacing:.8px;color:#9ab0d0;margin:19px 0 4px}
.finder-assumptions{border-top:0;margin:0;padding:0}
.finder-assumptions>summary{font-size:11px;color:#a7bbd8;padding:12px 0}
.finder-assumptions .finder-filter{margin-left:10px}
#panel .finder-group-title{font-size:10px;font-weight:500;color:#a6bddf;letter-spacing:.3px;margin:22px 0 4px}
.finder-rule summary strong{font-size:12px}
#path-section{margin-top:24px}
#clear-filters{margin-top:9px}
@media(max-width:700px){.finder-option{padding-top:8px;padding-bottom:8px}.filter-options{max-height:225px}.finder-filter>summary{padding-top:12px;padding-bottom:12px}}

/* Optional entrance routes and precise, shareable comparison models. */
.entry-routes{display:flex;flex-wrap:wrap;gap:8px 19px;margin-top:12px;align-items:center}
.entry-routes button{padding:0;color:#a9c8f3;font-size:11px;text-decoration:underline;text-decoration-color:#4b6286;text-underline-offset:4px}
.entry-routes button:hover{color:#edf4ff}
.search-match{color:#c7d8ef!important;line-height:1.45!important}
.search-match b{color:#e0c994;font-weight:500}
#detail-heading:focus{outline:1px solid #84a9dd;outline-offset:5px;border-radius:2px}
.copy-link-field{width:100%;padding:8px;margin-top:8px;background:#172741;color:#e6efff;border:1px solid #789bc8}
.properties-controls{justify-content:flex-start;flex-wrap:wrap;gap:10px 17px}
.properties-controls input{width:200px}
#compare-picker{position:relative;padding:0;margin:0;border:0;z-index:7;font-size:11px;min-width:145px}
#compare-picker>summary{padding:8px 10px;border:1px solid #536b91;border-radius:5px;background:#172740;gap:10px}
#compare-picker[open]{position:absolute;top:160px;left:max(20px,calc((100% - 1040px)/2 + 215px));width:340px;max-width:calc(100% - 40px);max-height:calc(100% - 185px);overflow:auto;padding:12px 15px;background:#152239;border:1px solid #536b91;border-radius:6px;box-shadow:0 10px 35px #0008}
#compare-picker p{font-size:11px;color:#b8cae5;line-height:1.5}
#compare-options{max-height:290px;overflow:auto}
#compare-options input:disabled{opacity:.4}
#comparison-note{width:100%;max-width:1040px;margin:0 auto 12px!important;flex-shrink:0;border-left:2px solid #bfab74;padding-left:11px;color:#d4cba9;font-size:11px;line-height:1.5}
.properties-controls>[data-copy-link]{font-size:10px;color:#b9d2f7}
.property-key{margin-left:auto}
.example-step{border:1px solid #3a506f;border-radius:6px;padding:12px 14px;margin:15px 0;background:#16243a}
#panel .example-step h3{margin:0 0 10px;font-size:12px;color:#a8c5ee}
#panel .example-step p{font-size:11px;line-height:1.55;margin-bottom:0}
.example-ballots{border-collapse:collapse;width:100%;font-size:12px;margin:8px 0 14px}
.example-ballots th{text-align:left;font-size:10px;color:#a9bdd9;font-weight:400;width:85px}
.example-ballots td{padding:5px 0;color:#e7effe}
.example-result{font-size:13px;color:#afdbce;display:block}
.guide-task{border-top:1px solid #405372;padding-top:8px;margin-top:23px}
.guide-task dd{overflow-wrap:anywhere}
@media(max-width:700px){.entry-routes{gap:8px 12px;margin-top:11px}.entry-routes button{font-size:10px;line-height:1.5}#map-tools #share-view{font-size:10px;padding:5px}.properties-controls{gap:8px}.properties-controls input{width:100%}#compare-picker{min-width:145px}.property-key{margin-left:0;width:100%}#compare-picker[open]{top:180px;left:16px;max-width:calc(100% - 32px);max-height:calc(100% - 190px)}#compare-options{max-height:210px}#comparison-note{font-size:10px;max-height:80px;overflow:auto}}

/* Independent card selection and exact-class filtering, without nested controls. */
.node-select,.result-select{display:block;width:100%;padding:0;border:0;background:transparent;text-align:left;color:inherit;line-height:inherit}
.node-select:focus-visible{outline-offset:2px}.space-label .node-select>span{display:block;font-size:10px}
.complexity-link{text-decoration:underline;text-decoration-thickness:1px;text-decoration-color:currentColor;text-underline-offset:3px;cursor:pointer}
.complexity-link:hover{filter:brightness(1.22)}.complexity-link:focus-visible{outline-offset:2px}
.result>.badge{margin-top:5px;font-size:10px}.result-select:hover strong{color:#c7dbff}
.matched-classification>.badge{margin-right:5px}.matched-classification>span{display:block;font-size:10px;color:#b6c5db;line-height:1.5;margin-top:4px}

/* A fixed destination works from a local ZIP or any university subfolder. */
.brand-block{display:flex;flex-direction:column;align-items:flex-start;gap:2px;min-width:0}.site-back{font-size:10px;line-height:1.2;color:#aabbd7;text-decoration:none}.site-back:hover{text-decoration:underline;color:#edf2fa}@media(max-width:700px){.brand-block{grid-column:1;grid-row:1}.site-back{font-size:9px}}

/* Compact screens keep controls reachable and give each reading surface its own scroll. */
.mobile-label{display:none}
#map2d button,#labels3d button{touch-action:none}
#touch-pan[aria-pressed=true]{background:#334c72;color:#fff;box-shadow:inset 0 0 0 1px #a4c4f5}
#stage{touch-action:auto}
@media (max-width:700px), (max-height:500px) and (pointer:coarse){
 html,body{height:100%;overflow:hidden}
 #atlas{height:var(--visible-height,100dvh);min-height:0;overflow:hidden}
 header{height:auto;min-height:108px;padding:6px max(10px,env(safe-area-inset-right)) 8px max(10px,env(safe-area-inset-left));grid-template-columns:minmax(0,1fr) auto;display:grid;gap:5px 6px;align-items:center;align-content:center}
 .brand,.showing-properties .brand{font-size:16px;gap:4px;letter-spacing:-.5px}
 .brand>span{display:none}
 .brand-block{gap:0}
 .site-back{font-size:11px;min-height:24px;display:flex;align-items:center}
 header nav{grid-column:2;grid-row:1;gap:3px}
 .view-switch{padding:2px;gap:1px}
 .view-switch button{min-width:32px;min-height:38px;font-size:11px;padding:4px 5px}
 #properties,.showing-properties #properties{font-size:11px;min-width:0;min-height:40px;padding:5px 4px}
 #about{width:36px;height:40px;font-size:23px;flex-shrink:0}
 .search-wrap{grid-column:1/-1;grid-row:2;height:44px;width:100%;max-width:none;gap:8px;padding:0 12px}
 #search{font-size:16px;padding:0}
 .search-wrap>kbd{display:none}
 #search-results{max-height:calc(var(--visible-height,100dvh) - var(--mobile-header-height,108px) - 12px);overscroll-behavior:contain;touch-action:pan-y;padding:6px 13px}
 #search-results .result{padding:12px 0}
 #search-results .result-select{min-height:44px}
 #search-results .result strong{font-size:14px}
 #search-results .result small,#search-results .result>span{font-size:12px}
 #heading{padding:10px 12px 4px}
 #heading h1{font-size:20px;line-height:1.2;margin:0 0 5px;overflow-wrap:anywhere}
 #view-takeaway{font-size:12px;line-height:1.4}
 .entry-routes{display:grid;grid-template-columns:1fr .8fr 1.3fr;gap:6px;margin-top:5px}
 .entry-routes button{font-size:11px;min-height:40px;padding:4px 2px;line-height:1.3;text-align:left}
 .entry-routes .desktop-label{display:none}.entry-routes .mobile-label{display:inline}
 #stage{bottom:calc(68px + env(safe-area-inset-bottom));overflow:hidden}
 #map-tools{left:8px;top:6px;max-width:calc(100% - 16px);padding:3px;gap:3px}
 #map-tools .button,#map-tools .text-button,#map-tools #share-view{min-height:40px;font-size:12px;padding:6px 9px}
 #stage>#topics-menu{position:fixed;top:calc(var(--mobile-header-height,108px) + 4px)!important;bottom:max(8px,env(safe-area-inset-bottom));left:8px;right:8px;width:auto;max-width:none;max-height:none!important;z-index:30;padding:12px 14px;touch-action:pan-y;overscroll-behavior:contain;-webkit-overflow-scrolling:touch}
 .topic-menu-head{gap:5px}.topic-menu-head h2{font-size:15px;margin:0}
 .topic-bulk-actions{margin:0;gap:2px}.topic-bulk-actions .text-button{min-height:44px;padding:6px;font-size:12px}
 .topic-row{padding:7px 0}.topic-row label{min-height:46px;font-size:14px;gap:9px}
 .topic-row input{width:20px;height:20px}.topic-row small,.topic-row small.no-connection{font-size:11px;line-height:1.4}
 .topic-row button{min-height:44px;min-width:70px;font-size:12px}
 .menu-hint,.menu-foot{font-size:12px}
 #panel{position:fixed;top:calc(var(--mobile-header-height,108px) + 4px);bottom:max(8px,env(safe-area-inset-bottom));left:8px;right:8px;width:auto;max-width:none;z-index:26;touch-action:pan-y;overscroll-behavior:contain;-webkit-overflow-scrolling:touch;scroll-padding-top:52px}
 #panel-content{padding:22px 16px 28px;overflow-wrap:anywhere}
 #close-panel{width:44px;height:44px;top:0;margin:0 0 -44px auto;border-radius:0 8px 0 8px;box-shadow:-5px 0 10px #131e32}
 #panel h2{font-size:22px;margin-right:25px}#panel h3{font-size:15px}
 #panel p,#panel .finder-note,#panel .native-criterion{font-size:14px;line-height:1.6}
 #panel .eyebrow{font-size:11px}#panel .question{font-size:16px}
 #panel dt{font-size:11px}#panel dd,#panel .sources{font-size:13px}
 #panel .sources .locator,#panel .status-note{font-size:12px}
 #panel summary{min-height:44px;align-items:center;font-size:14px;gap:9px}
 #panel .actions button,#panel .minor-link,#panel .filter-bulk button,#panel .text-button{min-height:44px;font-size:13px;padding:7px 9px}
 #panel .connection strong,#panel .result strong{font-size:14px}#panel .connection small,#panel .result small,#panel .connection>span,#panel .result>span{font-size:12px}
 .finder-option{font-size:14px;min-height:44px;align-items:center;padding:8px 4px;gap:10px}
 .finder-option input{width:20px;height:20px;flex-basis:20px;margin:0}
 .filter-options{max-height:none;overflow:visible;padding-right:0}
 .finder-filter>summary>span{font-size:12px}
 .path-controls select,.filter-grid select,.finder-mode select{font-size:16px;min-height:44px}
 #panel pre{overflow-wrap:anywhere;white-space:pre-wrap;font-size:12px}
 #properties-view{inset:var(--mobile-header-height,108px) 0 0;display:block;overflow:auto;padding:0 0 max(20px,env(safe-area-inset-bottom));touch-action:pan-x pan-y;overscroll-behavior:contain;scroll-padding-top:12px}
 #properties-view>.properties-top,#properties-view>.properties-intro,#properties-view>.properties-native-note,#properties-view>.properties-controls,#properties-view>#comparison-note{width:calc(100% - 24px);max-width:calc(100% - 24px);margin-left:12px!important;margin-right:12px!important;position:sticky;left:12px}
 #properties-view>.properties-top{margin-top:15px}
 .showing-properties footer{display:none}
 .properties-top{gap:10px;align-items:center}.properties-top h2{font-size:22px}.properties-top .eyebrow{font-size:10px}
 .properties-top>#close-properties{min-height:44px;font-size:13px;padding:8px 10px}
 #properties-view>.properties-intro{font-size:13px;line-height:1.5}
 #properties-view>.properties-native-note{margin-bottom:12px;font-size:13px}
 .properties-native-note summary{min-height:44px;font-size:13px}.properties-native-note p{font-size:13px}
 #properties-view>.properties-controls{display:flex;gap:9px;margin-bottom:12px}
 .properties-controls input{width:100%;min-height:44px;font-size:16px;padding:9px 12px}
 .properties-controls>[data-copy-link]{min-height:44px;font-size:12px}
 #compare-picker>summary{min-height:44px;font-size:13px}
 #compare-picker[open]{position:relative;top:auto;left:auto;width:100%;max-width:none;max-height:none;overflow:visible;padding:12px}
 #compare-picker p{font-size:13px}#compare-options{max-height:none;overflow:visible}
 #compare-all{min-height:44px;font-size:13px}
 .property-key{font-size:11px;line-height:1.6;margin-left:0;width:100%}.property-key b{font-size:16px}
 #comparison-note{font-size:12px;max-height:none;overflow:visible}
 #property-table{width:max(850px,100%);max-width:none;height:auto;min-height:0;max-height:none;overflow:visible;margin:12px 0 0;touch-action:pan-x pan-y}
 #property-table table{min-width:850px}
 #property-table th:first-child{width:140px;min-width:140px;max-width:140px}
 #property-table .rule-row>th{width:140px;min-width:140px;max-width:140px}
 #property-table th,#property-table td{padding:10px 7px}
 #property-table .rule-definition{min-height:44px;width:125px;max-width:100%;white-space:normal;overflow-wrap:anywhere}
 #property-table tbody th strong{font-size:13px}#property-table tbody th span{font-size:11px}
 #property-table thead button{min-height:44px;font-size:12px}
 .property-cell{min-height:54px;padding:8px 5px}.property-cell span{font-size:11px}
 footer{height:calc(68px + env(safe-area-inset-bottom));padding:22px max(10px,env(safe-area-inset-right)) max(5px,env(safe-area-inset-bottom)) max(10px,env(safe-area-inset-left));gap:5px;align-items:center}
 .coverage-links{display:none}
 footer .legend{position:static;min-height:40px;min-width:42px;padding:7px;border:1px solid #34445f;border-radius:5px;font-size:12px}
 footer .legend>span{display:none}footer .legend:before{content:'Key'}
 .camera-controls{gap:4px;margin-left:auto}
 .camera-controls .icon-button,.camera-controls .button{height:40px;min-width:40px;font-size:15px;padding:7px}
 .camera-controls .icon-button{font-size:24px}
 #touch-pan{height:40px;min-width:44px;font-size:13px;padding:6px}
 .camera-controls>#gesture{display:block;position:absolute;left:12px;right:auto;top:4px;font-size:11px;margin:0;line-height:1.3}
 #tree-note{display:none}
 #hover{display:none!important}
 .edge-hit{stroke-width:30}
 .space-label{min-width:100px;max-width:180px;font-size:12px;padding:7px 9px;touch-action:none}
 .space-label strong{font-size:12px}.space-label .node-select>span{font-size:12px}.space-label .node-result{font-size:10px;padding:5px 7px}
 .space-label .node-select{min-height:36px}
 #empty{width:calc(100% - 32px)}#empty h2{font-size:20px}
 #render-note{max-width:calc(100% - 24px);font-size:12px}
}
@media (min-width:560px) and (max-height:500px) and (pointer:coarse){
 header{min-height:58px;grid-template-columns:auto minmax(140px,1fr) auto;padding:5px 10px;gap:8px}
 .brand-block{grid-column:1;grid-row:1}.search-wrap{grid-column:2;grid-row:1;height:42px}header nav{grid-column:3;grid-row:1}
 #heading{padding:5px 12px 0}#heading h1{font-size:17px;margin-bottom:2px}#view-takeaway{font-size:11px;line-height:1.3}.entry-routes{display:flex;gap:14px;margin-top:0}.entry-routes button{min-height:30px}
}
@media (max-width:700px), (max-height:500px) and (pointer:coarse){
 button,a,summary,input,select{touch-action:manipulation}
 .topic-menu-head{display:grid;grid-template-columns:1fr auto;position:sticky;top:-12px;background:#121c30;z-index:2;padding:0 0 5px}
 .topic-menu-head h2{grid-column:1;grid-row:1}
 #close-topics{display:block;grid-column:2;grid-row:1;width:44px;height:44px}
 .topic-bulk-actions{grid-column:1/-1;grid-row:2;justify-content:flex-start}
 #properties .desktop-label{display:none}#properties .mobile-label{display:inline}
 #compare-picker[open]>summary{position:sticky;top:-15px;z-index:2}
}