@import"https://fonts.googleapis.com/css2?family=Inter:wght@400;500;700;800&display=swap";@layer reset,base,theme,components,utilities;@layer theme{:root{--color-primary: oklch(58% .18 260);--color-primary-hover: oklch(50% .18 260);--btn-gradient-start: #2784ee;--btn-gradient-end: #1565c0;--bg-body: linear-gradient(135deg, #f5f7fa 0%, #c3cfe2 100%);--bg-surface: #ffffff;--text-primary: #333333;--text-secondary: #5f6368;--text-muted: #70757a;--space-xs: .5rem;--space-sm: 1rem;--space-md: 1.5rem;--space-lg: 2rem;--space-xl: 3rem;--shadow-sm: 0 2px 4px rgba(0, 0, 0, .05);--shadow-md: 0 4px 6px -1px rgba(0, 0, 0, .1), 0 2px 4px -1px rgba(0, 0, 0, .06);--shadow-lg: 0 10px 15px -3px rgba(0, 0, 0, .1);--shadow-blue-glow: 0 4px 14px 0 rgba(39, 132, 238, .39);--radius-sm: 8px;--radius-md: 12px;--radius-lg: 16px}}@layer reset{html,body{height:100%;margin:0;padding:0;width:100%;box-sizing:border-box}*,*:before,*:after{box-sizing:inherit}}@layer base{body{font-family:Inter,sans-serif;background:var(--bg-body);color:var(--text-primary);display:flex;flex-direction:column;align-items:center;padding-top:var(--space-xl);min-height:100vh}body.protected{visibility:hidden}h2{color:var(--color-primary);text-align:center;margin-bottom:var(--space-lg);width:100%;font-weight:800;font-size:2em;text-shadow:0 2px 4px rgba(26,115,232,.1);letter-spacing:-.5px}a{text-decoration:none;color:inherit}}@layer components{.main-container{width:90%;max-width:950px;margin:0 auto;display:flex;flex-direction:column;align-items:center}button,.home-button{display:inline-block;padding:.9em 2.2em;font-size:1.05em;font-weight:600;border-radius:var(--radius-md);border:none;background:linear-gradient(135deg,var(--btn-gradient-start) 0%,var(--btn-gradient-end) 100%);color:#fff;cursor:pointer;box-shadow:var(--shadow-blue-glow);transition:all .2s ease-in-out;text-align:center}button:hover:not(:disabled),.home-button:hover{background:linear-gradient(135deg,#4294f7,#1e88e5);transform:translateY(-2px);box-shadow:0 6px 20px #2784ee3b;color:#fff}button:disabled{background:#e0e0e0;color:#9e9e9e;box-shadow:none;cursor:not-allowed;transform:none}#restart-quiz-btn,#spacebar-btn,.secondary-btn{background:#fff;color:var(--color-primary);border:1px solid #cce0f5;box-shadow:var(--shadow-sm)}#restart-quiz-btn:hover,#spacebar-btn:hover,.secondary-btn:hover{background:#f8fbff;box-shadow:var(--shadow-md)}#spacebar-btn.spacebar-active{background:linear-gradient(135deg,var(--btn-gradient-start) 0%,var(--btn-gradient-end) 100%);color:#fff;border-color:transparent;box-shadow:var(--shadow-blue-glow)}.header-container{width:100%;text-align:center;margin-bottom:var(--space-lg)}.top-menu-container{display:flex;justify-content:center;gap:var(--space-sm);margin-bottom:var(--space-sm)}table.centered-table{width:100%;border-collapse:separate;border-spacing:25px 0;table-layout:auto}th{font-size:1.3em;text-transform:uppercase;letter-spacing:1px;color:var(--text-secondary);padding-bottom:20px;width:50%}.content-cell{background:var(--bg-surface);box-shadow:var(--shadow-lg);border-radius:var(--radius-lg);padding:var(--space-lg);font-size:1.1em;text-align:center;vertical-align:middle;display:table-cell;transition:transform .2s ease,box-shadow .2s ease;border:1px solid rgba(255,255,255,.5);height:auto!important;max-height:none!important;overflow:visible}.content-cell:hover{transform:translateY(-2px)}.menu-container{width:100%;max-width:600px;display:flex;flex-direction:column;gap:1.5em}.menu-group{display:flex;flex-direction:column;gap:1.5em;width:100%}.menu-link{display:block;background:var(--bg-surface);padding:1.5em 2em;border-radius:var(--radius-lg);color:var(--text-primary);font-size:1.2em;font-weight:600;text-align:center;box-shadow:var(--shadow-md);transition:all .2s ease;border:1px solid rgba(255,255,255,.8)}.menu-link:hover{transform:translateY(-3px);box-shadow:0 10px 20px -3px #2784ee26;border-color:var(--color-primary);color:var(--color-primary)}#proof-content{width:100%;max-width:100%;overflow-x:hidden}.step-container{display:flex;flex-direction:column;gap:1.5rem;width:100%;max-width:100%;overflow-x:hidden}.step-container math-card{display:block;width:100%;max-width:100%;min-width:0}.step-card{background:var(--bg-surface);box-shadow:var(--shadow-lg);border-radius:var(--radius-lg);padding:1.5em 2em;font-size:1.1em;text-align:center;border:1px solid rgba(255,255,255,.5);margin-bottom:1em}.step-role{font-weight:700;color:var(--color-primary);margin-bottom:.5em}.step-def{text-align:left;line-height:1.8;margin-top:.5em;word-wrap:break-word;overflow-wrap:break-word;word-break:break-word;max-width:100%;overflow-x:auto}.step-def p{margin:.75em 0}.step-def p:first-child{margin-top:0}.step-def mjx-container[display=true]{max-width:100%!important;overflow-x:auto!important;display:block!important}.step-divider{border:none;border-top:1px solid var(--border-default, #e5e7eb);margin:1em 0}#progress{text-align:center;font-size:1.1em;font-weight:600;color:var(--text-secondary);margin:1.5rem 0}.menu-group-title{font-size:1.5rem;color:var(--color-primary);font-weight:700;margin-bottom:var(--space-sm);text-align:center;text-transform:capitalize}#controls,.quiz-controls-row{text-align:center;padding:2em 0}.controls-container{display:flex;justify-content:center;gap:1em;padding:2em 0}}@layer utilities{.visually-hidden{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}.main-container.index-centered{min-height:80vh}.main-container.index-centered:before,.main-container.index-centered:after{content:"";flex:1 0 0px}.noscript-warning{padding:1rem;text-align:center;background:#f8d7da;color:#721c24;border-radius:8px;margin-bottom:1em}mjx-container[display=true]{max-width:100%!important;overflow-x:auto!important;vertical-align:middle}}#latex-dropdown-container{display:inline-block;position:relative;margin-right:1.5em;vertical-align:middle;min-width:320px;max-width:450px;text-align:left}#dropdown-toggle{width:100%;background:#fff;color:#333;border:1px solid #dfe1e5;border-radius:8px;padding:.8em 1.2em;display:flex;justify-content:space-between;align-items:center;cursor:pointer}#dropdown-list{display:none;position:absolute;background:#fff;left:0;top:110%;z-index:100;width:100%;max-height:280px;overflow-y:auto;box-shadow:0 10px 30px #00000026;border-radius:12px}#dropdown-list .item{padding:.8em 1.2em;border-bottom:1px solid #f1f3f4;cursor:pointer;display:flex;gap:.8em}#dropdown-list .item:hover{background:#e8f0fe;color:#1967d2}@media(max-width:479px){.main-container{width:100%;padding:0 .5em}h2{font-size:1.5em}.top-menu-container{flex-direction:column}.content-cell{min-height:180px;padding:1.2em}.controls-container{flex-direction:column;gap:.8em}#dropdown-list{position:relative;width:100%}}