.ProofArenaShell_shell__19a8a{display:flex;flex-direction:column;min-height:100vh;max-width:100%;overflow-x:clip}.ProofArenaShell_shell__19a8a [role=link]:focus-visible,.ProofArenaShell_shell__19a8a a:focus-visible,.ProofArenaShell_shell__19a8a button:focus-visible,.ProofArenaShell_shell__19a8a summary:focus-visible{outline:2px solid var(--accent);outline-offset:2px}.ProofArenaShell_header__TEYBy{display:flex;align-items:center;gap:var(--space-3);flex-wrap:wrap;padding:var(--space-2) var(--pad-screen);background:var(--bg-bar);border-bottom:1px solid var(--border);position:-webkit-sticky;position:sticky;top:0;z-index:20}.ProofArenaShell_brand__hMLiM{display:flex;align-items:center;gap:9px}.ProofArenaShell_mark__m4mvE{flex:none;width:22px;height:22px;display:flex;align-items:center;justify-content:center;border-radius:5px;background:var(--accent-bg-soft);border:1px solid var(--accent);font-family:var(--font-mono),monospace;font-size:10px;color:var(--accent-hi)}.ProofArenaShell_wordmark__OPd89{font-size:14px;font-weight:700;letter-spacing:.14em;color:var(--text-1)}.ProofArenaShell_nav__zJodr{display:flex;align-items:center;gap:4px;flex-wrap:wrap}.ProofArenaShell_navLink__14eR8{display:inline-flex;align-items:center;min-height:34px;padding:0 11px;border-radius:var(--radius-control);font-size:12px;font-weight:500;color:var(--text-2);text-decoration:none;white-space:nowrap}.ProofArenaShell_navLink__14eR8:focus-visible,.ProofArenaShell_navLink__14eR8:hover{color:var(--text-1)}.ProofArenaShell_navActive__tTdV7{color:var(--text-1);background:var(--panel-2)}.ProofArenaShell_integrations__oL1ZS{display:flex;align-items:center;gap:8px;flex-wrap:wrap;margin-left:auto;font-family:var(--font-mono),monospace;font-size:9px;letter-spacing:.06em;color:var(--text-3)}.ProofArenaShell_integration__gJcF3{border:1px solid var(--border);border-radius:var(--radius-badge);padding:5px 8px;white-space:nowrap}.ProofArenaShell_column__dBTX2{flex:1 1;align-self:center;width:100%;max-width:1440px;padding:var(--pad-screen)}.ProofArenaShell_column__dBTX2,.ProofArenaShell_main__GU2LO{display:flex;flex-direction:column;gap:var(--space-4)}.ProofArenaShell_footer__OCfG8{display:flex;flex-direction:column;gap:var(--space-2)}.ProofArenaShell_footerBand__NhLvb{display:flex;align-items:center;justify-content:space-between;gap:var(--space-3);flex-wrap:wrap;padding:var(--space-3) var(--pad-panel);background:var(--panel);border:1px solid var(--border);border-radius:var(--radius-panel)}.ProofArenaShell_closingLine__idlNG{margin:0;max-width:680px;font-size:13px;font-weight:500;line-height:1.5;color:var(--text-2);text-wrap:pretty}.ProofArenaShell_footerActions__ZM0NL{display:flex;align-items:center;gap:8px;flex-wrap:wrap}.ProofArenaShell_onboarding__TTz4_{font-family:var(--font-mono),monospace;font-size:9px;letter-spacing:.06em;color:var(--text-3);white-space:nowrap}.ProofArenaShell_footerSkill__CpxD6{display:inline-flex;align-items:center;min-height:38px;padding:0 13px;border-radius:var(--radius-control);border:1px solid var(--accent);background:var(--accent-bg);color:var(--accent-hi);font-family:var(--font-mono),monospace;font-size:10px;letter-spacing:.04em;text-decoration:none;white-space:nowrap}.ProofArenaShell_footerSkill__CpxD6:focus-visible,.ProofArenaShell_footerSkill__CpxD6:hover{border-color:var(--accent-hi)}.ProofArenaShell_disclaimer__DXsYC{margin:0;max-width:920px;font-family:var(--font-mono),monospace;font-size:11px;line-height:1.6;color:var(--text-2)}@media (max-width:760px){.ProofArenaShell_footerSkill__CpxD6,.ProofArenaShell_navLink__14eR8{min-height:44px}.ProofArenaShell_column__dBTX2{padding:var(--space-3) var(--space-2)}.ProofArenaShell_header__TEYBy{padding:var(--space-2) var(--space-2)}.ProofArenaShell_integrations__oL1ZS{margin-left:0}}