html[data-theme]{--canvas:#eaf0f9;--surface:#ffffff;--surface-alt:#edf3fc;--ink:#152640;--text:#152640;--muted:#4d617e;--line:#c5d2e5;--accent:#1752b5;--accent-hover:#103e8a;--accent-ink:#ffffff;--selected:#dceaff;--green:var(--accent);--light:var(--surface-alt);--chart-prep:#86b3ee;--chart-review:#467acf;--chart-published:#1752b5;--chart-pending:#9caec7;--chart-math:#137da5;--chart-ai:#6654ba;--cyan-bg:#e2f3fc;--cyan-ink:#115675;--danger:#a42c39;--danger-bg:#fff0f1;--sidebar:268px;--shadow:0 8px 30px #142c5510;color-scheme:light;color:var(--ink);background:var(--canvas);font-family:Inter,Pretendard,-apple-system,BlinkMacSystemFont,"Segoe UI","Noto Sans KR",sans-serif}html[data-theme=dark]{--canvas:#081323;--surface:#111f35;--surface-alt:#1b2d48;--ink:#edf4ff;--text:#edf4ff;--muted:#b3c5df;--line:#3d5272;--accent:#9ac6ff;--accent-hover:#c4dfff;--accent-ink:#0b2245;--selected:#203d64;--danger:#ffb8c1;--danger-bg:#43232e;--chart-prep:#b2d3ff;--chart-review:#72a6f2;--chart-published:#4583e5;--chart-pending:#7087a7;--chart-math:#73d7ff;--chart-ai:#b7a6ff;--cyan-bg:#16374f;--cyan-ink:#ace5ff;--shadow:0 10px 34px #00000030;color-scheme:dark}html[data-theme] body{background:var(--canvas);color:var(--ink);font-size:1rem;line-height:1.6}html[data-theme] body .workspace{min-height:100vh;background:linear-gradient(110deg,#eff5f9e8,#eaf0f9db),url(/math-ai-research-background.webp) right top/cover fixed;color:var(--ink)}html[data-theme=dark] body .workspace{background:linear-gradient(110deg,#08132366,#08132333),url(/math-ai-research-background.webp) right top/cover fixed}html[data-theme] body .main{background:transparent;color:var(--ink);padding:30px clamp(20px,3vw,48px) 36px;max-width:1780px}html[data-theme] body .topbar{height:auto;min-height:76px;padding:16px clamp(20px,3vw,48px);background:var(--surface);color:var(--ink);border-color:var(--line)}html[data-theme] body :is(.breadcrumb,.topright){color:var(--muted);font-size:.875rem;flex-wrap:wrap}html[data-theme] body .breadcrumb b{color:var(--ink);font-weight:650}html[data-theme] body .topright{gap:12px}html[data-theme] body .sidebar{background:linear-gradient(#07172cdd,#0b2340e8),url(/math-ai-research-background.webp) right center/cover;color:#edf4ff;padding:30px 18px 22px;border-right:1px solid #365471;overflow-y:auto}html[data-theme] body .brand strong{font-family:inherit;font-size:1.3rem;font-weight:750;letter-spacing:-.04em;color:#f4f8ff}html[data-theme] body .brandmark{font-family:Georgia,serif;font-size:2rem;color:#95d8ff;border-bottom:2px solid #59d5ee;padding-bottom:6px}html[data-theme] body .brand small{color:#bed3eb;font-size:.625rem;letter-spacing:.14em}html[data-theme] body .space-tag{color:#8fd4ff;font-size:.75rem;padding:28px 10px 16px;letter-spacing:.1em}html[data-theme] body .nav-group{border-color:#33465f}html[data-theme] body .nav-group-toggle{font-size:.875rem;color:#c0d4ef;min-height:44px}html[data-theme] body .nav-group-toggle.active{color:#9eddff}html[data-theme] body .nav a{color:#c4d7ed;min-height:44px;border-radius:7px;font-size:.875rem}html[data-theme] body .nav a:hover{background:#233e60;color:#fff}html[data-theme] body .nav a.active{background:#dcebff;color:#113a74;box-shadow:inset 3px 0 #47b6e8;font-weight:750}html[data-theme] body .nav :is(.nav-lock,.count){color:inherit;opacity:1;font-size:.75rem}html[data-theme] body .private-note{background:#152e4a;color:#c5d8ec;border:1px solid #355273;font-size:.75rem}html[data-theme] body .private-note strong{color:#f0f7ff;font-size:.875rem}html[data-theme] body .profile{border-color:#355273}html[data-theme] body .profile strong{color:#edf4ff;font-size:.875rem}html[data-theme] body .profile small{color:#c5d8ec;font-size:.75rem}html[data-theme] body .avatar{background:#245a94;color:#fff}html[data-theme] body :is(.panel,.metric,.login-card,.modal,.modalhead,.modalfoot,.result-table-card,.recommend-card){background:var(--surface);color:var(--ink);border-color:var(--line);border-radius:12px;box-shadow:var(--shadow)}html[data-theme] body :is(.modalhead,.modalfoot){border-radius:0;box-shadow:none}html[data-theme] body .modal-backdrop{background:#040d22b8;backdrop-filter:blur(6px)}html[data-theme] body :is(.panel,.login-card,.modal,.metric) :is(h1,h2,h3,h4){color:var(--ink)}html[data-theme] body :is(.panelhead,.section-heading) h2{font-size:1.125rem;line-height:1.5}html[data-theme] body :is(.workspace-prose,.article-body,.research-full,.syllabus-document,.edtech-full-text){color:var(--ink);font-size:1rem;line-height:1.9}html[data-theme] body :is(.report-card p,.course-card p,.course-description,.research-summary,.web-app-card p,.insight-button>p,.briefing-list-item>p,.special-card p,.login-card p,.detail-section p,.recommend-card p,.thought-source p,.person p){color:var(--muted);font-size:1rem;line-height:1.8}html[data-theme] body :is(.muted,.date,.journal-cell,.paper-sub,.report-meta,.report-foot,.detail-subtitle,.settings-row small,.audit-row small,.field small,.workspace-hint,.table-count,.toolbar-note,.metric .caption,.metric .label,.metric .value small,.legend,.progress-title span,.focus-panel small,.focus-panel p,.course-list-row small,.course-list-row>span:not(.course-term),.special-meta,.special-empty,.footer){color:var(--muted);font-size:.875rem;line-height:1.65}html[data-theme] body :is(.empty,.empty p,.empty svg){color:var(--muted);font-size:.9375rem}html[data-theme] body .empty h3{color:var(--ink);font-size:1.125rem}html[data-theme] body :is(.paper-title,.settings-row,.upload-row,.audit-row,.field label){color:var(--ink);font-size:.9375rem;line-height:1.65}html[data-theme] body :is(.upload-row .grow small,.panelhead small){color:var(--muted);font-size:.8125rem}html[data-theme] body :is(.subtle-link,.focus-panel a,.briefing-list-open,.briefing-list-open strong,.course-term,.course-material-toggle,.browse-more,.source-toggle,.eyebrow,.field-bars strong){color:var(--accent);font-size:.875rem}html[data-theme] body :is(.metric.highlight,.focus-panel,.notice,.detail-grid,.course-info-grid>div,.thought-source>div,.receipt-state,.sync-comparison>div,.result-analysis-intro,.result-finding-list li,.result-analysis-note,.connection-list>div){background:var(--surface-alt);color:var(--ink);border-color:var(--line)}html[data-theme] body .course-info-grid small{color:var(--muted);font-size:.8125rem}html[data-theme] body .course-info-grid strong{color:var(--ink);font-size:1rem;white-space:pre-line}html[data-theme] body .metric .value{color:var(--accent);font-size:2.5rem;font-weight:650;letter-spacing:-.04em}html[data-theme] body .metric{border-top:3px solid var(--accent)}html[data-theme] body .metric .metric-icon{color:var(--accent)}html[data-theme] body .legend b{color:var(--ink)}html[data-theme] body :is(.portfolio-kpis>div,.impact-summary>div){background:var(--surface)}html[data-theme] body :is(.portfolio-kpis strong,.impact-summary strong,.field-bars strong){color:var(--accent)}html[data-theme] body table{font-size:.9375rem;color:var(--ink);background:var(--surface)}html[data-theme] body th{font-size:.8125rem;font-weight:700;background:var(--surface-alt);color:var(--ink);border-color:var(--line)}html[data-theme] body :is(td,.settings-row,.audit-row,.report-foot,.research-row,.browse-fold-body,.resource-fold-body,.course-material-body){border-color:var(--line)}html[data-theme] body tbody tr:hover{background:var(--surface-alt)}html[data-theme] body :is(input,textarea,select,.search,.btn,.chip,.theme-toggle,.view-switch){background:var(--surface);color:var(--ink);border:1px solid var(--line);font-size:.875rem;border-radius:7px}html[data-theme] body :is(input,textarea,select){font-size:1rem}html[data-theme] body :is(.btn,.chip,select,.icon-button){min-height:42px}html[data-theme] body .icon-button{color:var(--accent);min-width:42px}html[data-theme] body :is(.btn:hover,.chip:hover,.icon-button:hover){background:var(--surface-alt);border-color:var(--accent);color:var(--ink)}html[data-theme] body .btn.primary{background:var(--accent);color:var(--accent-ink);border-color:var(--accent);font-weight:750}html[data-theme] body .btn.primary:hover{background:var(--accent-hover)!important;color:var(--accent-ink);border-color:var(--accent-hover)}html[data-theme] body :is(.btn.danger,.error,.danger-text){color:var(--danger)}html[data-theme] body .btn.danger{background:var(--danger-bg)}html[data-theme] body :is(.chip.active,.status-select,.view-switch button.active,.folder-tree .selected){background:var(--selected);color:var(--accent);border-color:var(--accent);font-weight:700}html[data-theme] body .view-switch button{font-size:.875rem;color:var(--muted);padding:11px 16px}html[data-theme] body .search input{background:transparent;color:var(--ink);border:0;font-size:1rem}html[data-theme] body input::placeholder,html[data-theme] body textarea::placeholder{color:var(--muted);opacity:1}html[data-theme] body :is(button,a,input,select,textarea,summary):focus-visible{outline:3px solid var(--accent)!important;outline-offset:3px}html[data-theme] body .search:focus-within{outline:3px solid var(--accent);outline-offset:3px}html[data-theme] body :is(.upload-icon,.web-app-icon,.connection-icon,.login-card .lock-icon,.special-meta span,.tag,.search kbd){background:var(--surface-alt);color:var(--accent);border-color:var(--line)}html[data-theme] body :is(.private-pill,.report-access-badge){background:var(--surface-alt);color:var(--accent);border-color:var(--line);font-size:.8125rem}html[data-theme] body :is(.badge,.scope-pill,.citation,.fwci,.category){font-size:.75rem;line-height:1.5}html[data-theme] body .badge:not(.green,.blue,.amber,.purple,.rose){color:var(--muted);background:var(--surface-alt)}html[data-theme] body :is(.scope-pill.domestic,.badge.green,.category:not(.ai),.citation.base,.fwci.high){background:var(--cyan-bg);color:var(--cyan-ink)}html[data-theme] body :is(.scope-pill.international,.badge.blue,.citation.mid,.fwci.mid){background:var(--selected);color:var(--accent)}html[data-theme=dark] body :is(.scope-pill.international,.badge.blue,.citation.mid,.fwci.mid){background:#203d64;color:#bbd8ff}html[data-theme=dark] body :is(.citation.base,.fwci.high){background:var(--cyan-bg);color:var(--cyan-ink)}html[data-theme=dark] body :is(.citation.high,.badge.amber){background:#493b20;color:#ffe0a1}html[data-theme=dark] body :is(.citation.very-high,.badge.rose){background:#4e293a;color:#ffccd9}html[data-theme=dark] body .badge.purple{background:#383054;color:#ddd0ff}html[data-theme] body :is(.citation.pending,.fwci:not(.mid,.high)){background:var(--surface-alt);color:var(--muted)}html[data-theme] body .pagehead{padding:28px 32px;min-height:156px;align-items:center;margin-bottom:26px;border:1px solid #4c78a3;border-radius:12px;box-shadow:var(--shadow);background:linear-gradient(100deg,#092044f5 0%,#092044e8 48%,#09204430 100%),url(/math-ai-research-background.webp) right center/cover;color:#fff}html[data-theme] body .pagehead h1{font-family:inherit;font-size:clamp(1.65rem,2.5vw,2.5rem);font-weight:750;letter-spacing:-.035em;color:#fff;line-height:1.35;overflow-wrap:anywhere}html[data-theme] body .pagehead :is(p,.eyebrow){color:#d3e6ff;font-size:1rem;line-height:1.75}html[data-theme] body .pagehead .eyebrow{font-size:.75rem;letter-spacing:.15em;color:#9edfff}html[data-theme] body .pagehead>div:first-child{max-width:850px}html[data-theme] body .pagehead .btn{background:#e6f1ff;color:#123d74;border-color:#e6f1ff}html[data-theme] body .pagehead .btn.primary{background:#9edfff;color:#082845;border-color:#9edfff}html[data-theme] body :is(.cv-hero,.webapps-hero,.progress-hero,.analysis-hero,.edtech-hero){background:linear-gradient(100deg,#0c2852f5 0%,#0c2852dd 55%,#0c285230 100%),url(/math-ai-research-background.webp) right center/cover;color:#fff;border:1px solid #527dab;border-radius:12px}html[data-theme] body :is(.cv-hero,.webapps-hero,.progress-hero,.analysis-hero,.edtech-hero) :is(h1,h2,h3,strong){color:#fff}html[data-theme] body :is(.cv-hero,.webapps-hero,.progress-hero,.analysis-hero,.edtech-hero) :is(p,small,dt,.eyebrow){color:#d4e8ff}html[data-theme] body :is(.cv-hero,.webapps-hero,.progress-hero,.analysis-hero,.edtech-hero) .btn{background:#e6f1ff;color:#123d74;border-color:#e6f1ff}html[data-theme] body :is(.cv-hero,.webapps-hero,.progress-hero,.analysis-hero,.edtech-hero) .btn:hover{background:#fff;color:#123d74;border-color:#fff}html[data-theme] body .briefing-summary{background:var(--surface-alt);color:var(--ink);border-color:var(--line);box-shadow:var(--shadow);border-left:4px solid var(--accent)}html[data-theme] body .briefing-summary :is(h2,strong){color:var(--ink)}html[data-theme] body .briefing-summary :is(p,span){color:var(--muted)}html[data-theme] body .about-hero{background:#092044;border-radius:12px;border:1px solid #527dab}html[data-theme] body .about-hero>img:first-child{content:url(/math-ai-research-background.webp)}html[data-theme] body .about-copy{background:linear-gradient(90deg,#092044ee,#092044cc 65%,transparent)}html[data-theme] body .about-copy :is(h1,p){color:#f0f7ff}html[data-theme] body .about-copy>span{color:#9edfff}html[data-theme] body .about-links a{background:#e6f1ff;color:#123d74;border-color:#e6f1ff}html[data-theme] body .theme-grid article{background:var(--surface);border:1px solid var(--line);border-top:3px solid var(--accent);color:var(--ink)}html[data-theme] body .theme-grid article :is(h3,b){color:var(--accent)}html[data-theme] body .theme-grid article p{color:var(--muted)}html[data-theme] body :is(.about-program,.about-proof){background:var(--surface-alt);color:var(--ink);border:1px solid var(--line);border-radius:12px}html[data-theme] body :is(.about-program,.about-proof) :is(h2,strong,b){color:var(--accent)}html[data-theme] body :is(.about-program,.about-proof) :is(p,span){color:var(--muted)}.cv-preview{scroll-margin-top:24px}.cv-preview[hidden]{display:none}.cv-preview [data-cv-content]:not(:has(iframe)){padding:24px}html[data-theme] body :is(.upload-drop,.theme-row>div,.edtech-kpis article,.edtech-bars article,.research-suggestion,.collaboration-tree li,.researcher-map-shell,.research-guide-panel,.about-program li,.html-preview-note,.result-table-card,.edtech-list-row .browse-fold-body){background:var(--surface-alt);color:var(--ink);border-color:var(--line)}html[data-theme] body :is(.upload-drop input,.about-program ol){background:var(--surface);color:var(--ink)}html[data-theme] body :is(.about-tags span,.result-analysis-stats span,.result-heading-list span,.impact-summary p b,.connection-list span,.opportunity-key b,.resource-tabs .chip span){background:var(--selected);color:var(--accent);border-color:var(--line)}html[data-theme] body :is(.edtech-kpis strong,.research-suggestion strong,.result-table-card>strong,.result-analysis-intro>span,.result-analysis-heading>span,.progress-inline-title span){color:var(--accent)}html[data-theme] body :is(.edtech-kpis small,.research-suggestion small,.edtech-bars p,.edtech-bars small,.web-app-meta,.result-analysis-note,.result-analysis-intro p,.opportunity-key small,.compare-row span,.recommend-card dd,.recommend-card dt){color:var(--muted);font-size:.875rem}html[data-theme] body :is(.topic-track,.edtech-track,.compare-row i,.progress-track){background:var(--surface-alt)}html[data-theme] body :is(.topic-rank:hover,.topic-rank.active,.opportunity-key button:hover,.folder-tree a:hover){background:var(--selected);color:var(--ink)}html[data-theme] body :is(.pulse-day>span,.pulse-stack i b,.compare-row span b,.topic-rank strong,.topic-rank>b){color:var(--ink)}html[data-theme] body .result-table-scroll th{background:var(--surface-alt);color:var(--ink);border-color:var(--line)}html[data-theme] body .result-table-scroll td{border-color:var(--line)}html[data-theme] body .folder-tree-add{background:var(--surface);color:var(--accent)}html[data-theme] body .course-description{white-space:pre-line}html[data-theme] body .briefing-total{border-color:var(--line)}html[data-theme] body .collab-ring:before{background:var(--surface)}html[data-theme] body .collab-ring strong{color:var(--ink)}html[data-theme] body .about-section-head h2{color:var(--ink)}html[data-theme] body #toast{background:var(--ink);color:var(--surface);border:1px solid var(--line);font-size:.9375rem}html[data-theme] body .collaboration-panel{--mix-ink:var(--ink);--mix-muted:var(--muted);--mix-divider:var(--line);--mix-solo:var(--accent);--mix-joint:var(--chart-math)}html[data-theme] body .paper-connections{--pc-ink:var(--ink);--pc-muted:var(--muted);--pc-line:var(--line);--pc-surface:var(--surface);--pc-subtle:var(--surface-alt);--pc-accent:var(--accent);--pc-selected:var(--selected)}html[data-theme] body .field-bars i{background:var(--surface-alt)}html[data-theme] body .field-bars b{background:linear-gradient(90deg,#2771c8,#39b4d1)}html[data-theme] body .syllabus-document :is(h1,h2,h3){color:var(--ink)}html[data-theme] body .footer{padding:16px 20px;background:var(--surface);border:1px solid var(--line);border-radius:8px;gap:16px;flex-wrap:wrap}html[data-theme] body .global-search-box{margin:18px 0}html[data-theme] body .site-search-results{display:grid;gap:10px}html[data-theme] body .search-result{padding:16px;background:var(--surface-alt);border:1px solid var(--line);border-radius:8px;display:grid;gap:5px}html[data-theme] body .search-result strong{color:var(--ink)}html[data-theme] body .search-result :is(span,small){color:var(--muted);font-size:.875rem}html[data-theme] body .all-course-materials:not([open]) .when-open{display:none}html[data-theme] body .all-course-materials:not([open]) .when-closed{display:inline}html[data-theme] body #impact-summary .fwci-bin-list{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:8px;margin-top:10px}html[data-theme] body #impact-summary .fwci-bin{min-width:0;padding:12px;border:1px solid var(--line);border-radius:8px;background:var(--surface-alt)}html[data-theme] body #impact-summary .fwci-bin>span{display:block;color:var(--muted);font-size:.8125rem;font-weight:650;line-height:1.5;overflow-wrap:anywhere}html[data-theme] body #impact-summary .fwci-bin strong{display:flex;align-items:baseline;gap:4px;margin-top:5px;color:var(--accent);font-size:1.3rem;line-height:1.3}html[data-theme] body #impact-summary .fwci-bin strong em{color:var(--muted);font-size:.8125rem;font-style:normal;font-weight:600}html[data-theme] body .connection-list>div{background:var(--surface-alt);border:1px solid var(--line)}html[data-theme] body .connection-list strong{color:var(--ink);font-weight:750}html[data-theme] body .connection-list i{color:var(--accent);font-weight:800}html[data-theme] body .connection-list span{color:var(--accent);background:var(--selected);border:1px solid var(--line)}html[data-theme] body :is(.analysis-label,.analysis-panel-head span,.proposal-card>b,.folder-breadcrumb a,.folder-tree-heading h2,.detail-grid dt,.web-app-meta,.research-guide-panel p){color:var(--muted)}html[data-theme] body :is(.detail-grid dd,.research-guide-panel h3,.network-head h2,.network-detail h3){color:var(--ink)}html[data-theme] body :is(.pulse-stack i.math,.signal-legend i.math,.compare-row b.math,.opportunity-dot.math){background:var(--chart-math)}html[data-theme] body :is(.pulse-stack i.ai,.signal-legend i.ai,.compare-row b.ai,.opportunity-dot.ai){background:var(--chart-ai)}html[data-theme] body .opportunity-dot.bridge{background:linear-gradient(135deg,var(--chart-math) 0 49%,var(--chart-ai) 51%)}html[data-theme] body .opportunity-dot{color:var(--accent-ink);border-color:var(--surface)}html[data-theme] body .topic-track i{background:var(--chart-math)}html[data-theme] body .collab-ring{background:conic-gradient(var(--chart-math) 0 calc(100% - var(--solo)),var(--chart-review) calc(100% - var(--solo)) 100%)}html[data-theme] body .collab-legend .solo{background:var(--chart-review)}html[data-theme] body .collab-legend .joint{background:var(--chart-math)}html[data-theme] body .result-finding-list li:before{background:var(--accent);color:var(--accent-ink)}html[data-theme] body .result-analysis-note{border-left-color:var(--accent)}html[data-theme] body .pulse-chart{border-color:var(--line);background:repeating-linear-gradient(to top,transparent 0,transparent 59px,var(--line) 60px,var(--line) 61px)}html[data-theme] body .opportunity-map{border-color:var(--line);background:repeating-linear-gradient(to top,transparent 0,transparent 81px,var(--line) 82px,var(--line) 83px)}html[data-theme] body :is(.report-card:hover,.briefing-list-item:hover,.insight-button:hover,.course-metric:hover,.recommend-card:hover){border-color:var(--accent);box-shadow:var(--shadow)}html[data-theme] body :is(.insight-foot,.insight-foot strong,.briefing-list-item h3 a:hover,.source-report-list>a svg,.recommend-card>svg){color:var(--accent)}@media(max-width:420px){html[data-theme] body #impact-summary .fwci-bin-list{grid-template-columns:1fr}}@media(max-width:1000px){html[data-theme] body .topbar{flex-wrap:wrap;gap:12px}html[data-theme] body .date-text{display:none}html[data-theme] body .pagehead{flex-wrap:wrap;padding:24px}}@media(max-width:760px){html[data-theme] body .workspace{margin-left:0;background-attachment:scroll}html[data-theme] body .main{padding:20px 16px 28px}html[data-theme] body .topbar{padding:14px 16px}html[data-theme] body .pagehead{padding:24px 20px;min-height:145px;background-position:70% center}html[data-theme] body .pagehead h1{font-size:1.65rem}html[data-theme] body .pagehead p{font-size:.9375rem}html[data-theme] body :is(.pagehead .button-group,.modalfoot,.file-actions){flex-wrap:wrap}html[data-theme] body :is(.toolbar,.workspace-filters,.report-filters){flex-wrap:wrap}html[data-theme] body .search{min-width:0;width:100%}html[data-theme] body .topright{gap:8px}html[data-theme] body .course-view-switch{width:100%}html[data-theme] body .btn{white-space:normal;text-align:center}}@media(prefers-reduced-motion:reduce){html[data-theme] body *,html[data-theme] body *::before,html[data-theme] body *::after{scroll-behavior:auto!important;animation:none!important;transition:none!important}}html[data-theme] body .pdf-viewer{width:min(1120px,96vw);height:90vh;height:90dvh;max-height:96dvh;max-width:96vw;padding:0;margin:auto;border:1px solid var(--line);border-radius:14px;background:var(--surface);color:var(--ink);box-shadow:var(--shadow);overflow:hidden}html[data-theme] body .pdf-viewer[open]{display:flex;flex-direction:column}html[data-theme] body .pdf-viewer::backdrop{background:rgba(4,13,29,.72)}html[data-theme] body .pdf-viewer-head{display:flex;align-items:center;justify-content:space-between;gap:16px;padding:14px 18px;border-bottom:1px solid var(--line);background:var(--surface)}html[data-theme] body .pdf-viewer-head h2{margin:0;font-size:1rem;overflow-wrap:anywhere;min-width:0}html[data-theme] body .pdf-viewer-actions{display:flex;gap:8px;flex-shrink:0}html[data-theme] body .pdf-viewer-content{flex:1;min-height:0;background:var(--surface-alt);overflow:auto}html[data-theme] body .pdf-viewer-content:has(iframe){padding:0}html[data-theme] body .pdf-viewer-content:not(:has(iframe)){padding:24px}html[data-theme] body .pdf-viewer iframe{display:block;width:100%;height:100%;border:0;background:#fff}html[data-theme] body [data-pdf-close]{white-space:nowrap}html[data-theme] body .cv-preview .panelhead{flex-wrap:wrap;gap:12px}html[data-theme] body .cv-preview .panelhead h2{margin-right:auto}html[data-theme] body .pdf-preview-button{margin-right:6px}html[data-theme] body .course-term-field{min-width:0;margin:0;padding:0;border:0}html[data-theme] body .course-term-field legend{margin:0 0 8px;padding:0;color:var(--ink);font-size:.875rem;font-weight:700}html[data-theme] body .course-term-field>div{display:flex;align-items:center;gap:8px}html[data-theme] body .course-term-field input{width:7rem}html[data-theme] body .course-term-field select{min-width:0;flex:1}html[data-theme] body .sr-only{position:absolute;width:1px;height:1px;margin:-1px;padding:0;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}html[data-theme] body .course-access-notice{display:flex;align-items:center;justify-content:space-between;gap:18px;margin:0 0 20px;padding:18px 20px;border-left:4px solid var(--accent)}html[data-theme] body .course-access-notice strong{display:block;font-size:1rem}html[data-theme] body .course-access-notice p{margin:6px 0 0;color:var(--muted);font-size:.875rem}html[data-theme] body .materials-analytics{display:grid;grid-template-columns:minmax(145px,.4fr) minmax(145px,.4fr) minmax(260px,1.2fr);gap:14px;margin:0 0 22px}html[data-theme] body .materials-stat,html[data-theme] body .materials-breakdown{padding:18px}html[data-theme] body .materials-stat small,html[data-theme] body .materials-breakdown small{display:block;color:var(--muted);font-size:.8rem;font-weight:700}html[data-theme] body .materials-stat strong{display:inline-block;margin-top:9px;color:var(--accent);font-size:2rem;line-height:1}html[data-theme] body .materials-stat span{margin-left:4px;color:var(--muted);font-size:.875rem}html[data-theme] body .materials-breakdown{display:grid;grid-template-columns:130px 1fr;gap:14px;align-items:center}html[data-theme] body .materials-breakdown>div:first-child strong{display:block;margin-top:6px;font-size:1rem}html[data-theme] body .materials-type-bars{display:grid;gap:6px}html[data-theme] body .materials-type-bars>div{display:grid;grid-template-columns:74px 1fr 24px;gap:7px;align-items:center;font-size:.75rem}html[data-theme] body .materials-type-bars i{display:block;height:6px;border-radius:999px;background:var(--surface-alt);overflow:hidden}html[data-theme] body .materials-type-bars b{display:block;height:100%;border-radius:inherit;background:var(--accent)}@media(max-width:760px){html[data-theme] body .course-access-notice{align-items:flex-start;flex-direction:column}html[data-theme] body .materials-analytics{grid-template-columns:1fr 1fr}html[data-theme] body .materials-breakdown{grid-column:1/-1}}@media(max-width:600px){html[data-theme] body .pdf-viewer-head{align-items:flex-start;flex-direction:column;padding:12px}html[data-theme] body .pdf-viewer-actions{align-self:flex-end}}html[data-theme=dark] body .workspace{background:linear-gradient(110deg,#081323ed,#081323e0),url(/math-ai-research-background.webp) right top/cover fixed}html[data-theme=dark] body .digital-library{--library-accent:#b4c8ff;color:var(--ink)}html[data-theme=dark] body .digital-library :is(.book-card>a>small,.book-card>a>p,.book-subtitle,.book-facts dt){color:var(--muted);opacity:1}html[data-theme=dark] body .digital-library .eyebrow{color:var(--library-accent)}html[data-theme=dark] body :is(.conference-workspace,#conference-form){color:var(--ink)}html[data-theme=dark] body :is(.conference-filters select,#conference-form select,#conference-form input,#conference-form option){background:var(--surface);color:var(--ink);border-color:var(--line);color-scheme:dark}html[data-theme=dark] body :is(.conference-filters label,.conference-card time,.conference-metrics>section>span,.conference-bar>span,.conference-bar>b){color:var(--ink)}html[data-theme=dark] body :is(.conference-note,.conference-card dt,.conference-card-bottom small,#conference-form small){color:var(--muted)}@media(max-width:760px){html[data-theme=dark] body .workspace{background-attachment:scroll}}