/* ais://lab — baza dowodowa: podnawigacja, tabele twierdzeń i źródeł, statusy. */
.subnav{background:var(--navy2);padding:0 40px;border-bottom:1px solid rgba(255,255,255,0.08);}
.subnav-inner{max-width:1180px;margin:0 auto;display:flex;flex-wrap:wrap;gap:0 4px;}
.subnav a{font-family:'IBM Plex Mono',monospace;font-size:11px;letter-spacing:1.5px;text-transform:uppercase;color:rgba(240,235,224,0.7);text-decoration:none;padding:14px 14px 12px;border-bottom:2px solid transparent;}
.subnav a:hover{color:#fff;}
.subnav a[aria-current]{color:#fff;border-bottom-color:var(--cyan);}
@media(max-width:600px){.subnav{padding:0 12px;}.subnav a{padding:12px 8px 10px;font-size:10px;}}
.reg-table{width:100%;border-collapse:collapse;margin-top:14px;}
.reg-table th,.reg-table td{text-align:left;vertical-align:top;padding:12px 12px 12px 0;border-bottom:1px solid var(--rule-soft);}
.reg-table thead th{font-family:'IBM Plex Mono',monospace;font-size:10px;letter-spacing:2px;text-transform:uppercase;color:var(--text-dim);font-weight:600;}
.reg-table td{font-family:'EB Garamond',serif;font-size:17px;line-height:1.55;color:var(--text);}
.reg-table .rid{font-family:'IBM Plex Mono',monospace;font-size:11px;white-space:nowrap;}
.reg-table .rid a,.reg-table td a{color:var(--gold);text-decoration:none;border-bottom:1px solid var(--rule-soft);}
.reg-table .small{font-family:'DM Sans',sans-serif;font-size:13px;color:var(--text-dim);}
.st{display:inline-block;font-family:'IBM Plex Mono',monospace;font-size:9.5px;letter-spacing:1.5px;text-transform:uppercase;padding:2px 7px;border:1px solid;white-space:nowrap;}
.st-verified{color:#006680;}
.st-documented{color:var(--amber);}
.st-inference{color:#7A5C00;border-style:dashed;}
.st-obs{color:var(--text-dim);border-style:dotted;}
.case-block{margin-top:34px;}
.case-block h3{font-family:'Playfair Display',serif;font-size:20px;margin-bottom:4px;}
.case-block h3 a{color:var(--text);text-decoration:none;}
.case-block h3 a:hover{color:var(--gold);}
.case-block .cb-meta{font-family:'IBM Plex Mono',monospace;font-size:11px;color:var(--text-dim);letter-spacing:1px;}
@media(max-width:700px){.reg-table thead{display:none;}.reg-table tr{display:block;border-bottom:1px solid var(--rule-soft);padding:10px 0;}.reg-table td{display:block;border:none;padding:3px 0;}}