:root{--ink:#151716;--muted:#6b716d;--paper:#f4f1e8;--card:#fffdf7;--line:#d8d3c7;--red:#b64232;--amber:#c77b22;--green:#2b7254;--blue:#345f86;--black:#181a19}*{box-sizing:border-box}html{scroll-behavior:smooth}body{margin:0;background:var(--paper);color:var(--ink);font-family:Inter,ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif;line-height:1.55}.topbar{height:72px;padding:0 clamp(20px,5vw,72px);display:flex;align-items:center;justify-content:space-between;border-bottom:1px solid var(--line);background:rgba(244,241,232,.94);backdrop-filter:blur(12px);position:sticky;top:0;z-index:20}.brand{display:flex;align-items:center;gap:11px;color:var(--ink);font-weight:760;text-decoration:none;letter-spacing:-.02em}.brand-mark{width:30px;height:30px;display:grid;place-items:center;background:var(--black);color:#fff;border-radius:50%;font-size:14px}.topbar nav{display:flex;gap:26px}.topbar nav a,footer a{color:var(--ink);text-decoration:none;font-size:14px}.topbar nav a:hover{text-decoration:underline}main{max-width:1440px;margin:auto}.hero{padding:clamp(74px,10vw,150px) clamp(20px,7vw,110px) 74px;border-bottom:1px solid var(--line);background:radial-gradient(circle at 82% 18%,rgba(198,123,34,.13),transparent 28%),linear-gradient(135deg,#f7f4eb 0,#eee9dc 100%)}.hero-kicker,.overline,.panel-label,.eyebrow{font-size:12px;text-transform:uppercase;letter-spacing:.12em;font-weight:750;color:var(--muted)}.live-dot,.pulse{width:8px;height:8px;border-radius:50%;display:inline-block;background:var(--green);margin-right:8px;box-shadow:0 0 0 5px rgba(43,114,84,.12)}.hero h1,.dossier-head h1,.attempt-head h1,.method-head h1{font-family:Georgia,"Times New Roman",serif;font-size:clamp(48px,8vw,112px);line-height:.93;letter-spacing:-.055em;font-weight:400;margin:23px 0 30px;max-width:1060px}.hero h1 em,.method-head h1 em{color:var(--red);font-weight:400}.hero-copy{max-width:770px;font-size:clamp(18px,2vw,25px);color:#444943}.hero-stats{display:grid;grid-template-columns:repeat(4,1fr);gap:1px;background:var(--line);border:1px solid var(--line);margin-top:62px;max-width:900px}.hero-stats div{background:rgba(255,253,247,.74);padding:22px}.hero-stats strong{font-family:Georgia,serif;font-size:36px;font-weight:400;display:block}.hero-stats span{font-size:12px;text-transform:uppercase;letter-spacing:.08em;color:var(--muted)}.candidate-alert{margin:28px clamp(20px,7vw,110px);padding:20px 24px;background:#fff3dc;border:1px solid #dca85d;display:flex;justify-content:space-between;align-items:center;gap:20px}.candidate-alert p{margin:3px 0 0;color:#6b512f}.candidate-alert a{color:var(--ink);font-weight:700}.pulse{background:var(--amber);margin-right:12px}.lanes{padding:55px clamp(20px,7vw,110px);display:grid;grid-template-columns:1fr 1fr;gap:24px}.lane-panel{min-height:280px;padding:34px;border:1px solid var(--line);background:var(--card);display:flex;flex-direction:column}.hard-panel{border-top:5px solid var(--red)}.easy-panel{border-top:5px solid var(--blue)}.lane-panel h2{font-family:Georgia,serif;font-size:36px;line-height:1.1;font-weight:400;margin:26px 0 12px}.lane-panel p{color:#545a55;max-width:650px}.panel-foot{margin-top:auto;padding-top:24px;border-top:1px solid var(--line);display:flex;justify-content:space-between;gap:20px;font-size:13px}.panel-foot a{color:var(--ink);font-weight:700}.healthline{margin:0 clamp(20px,7vw,110px) 35px;padding:14px 0;border-top:1px solid var(--line);border-bottom:1px solid var(--line);display:flex;gap:24px;flex-wrap:wrap;font-size:13px;color:var(--muted)}.health{color:var(--ink);font-weight:750}.health:before{content:"";display:inline-block;width:7px;height:7px;border-radius:50%;background:var(--amber);margin-right:8px}.health-healthy:before{background:var(--green)}.health-degraded:before{background:var(--red)}.section-block{padding:72px clamp(20px,7vw,110px)}.section-heading{display:flex;align-items:end;justify-content:space-between;gap:30px;margin-bottom:30px}.section-heading h2{font-family:Georgia,serif;font-weight:400;font-size:clamp(35px,5vw,60px);line-height:1;margin:8px 0 0}.section-heading>a{color:var(--ink);font-weight:700}.filters{display:flex;gap:8px;flex-wrap:wrap}.filter{border:1px solid var(--line);background:transparent;padding:9px 14px;border-radius:100px;cursor:pointer}.filter.active{background:var(--black);color:#fff;border-color:var(--black)}.problem-grid{display:grid;grid-template-columns:repeat(3,1fr);gap:18px}.problem-card{background:var(--card);border:1px solid var(--line);padding:25px;min-height:390px;display:flex;flex-direction:column}.problem-card.hidden{display:none}.card-top{display:flex;justify-content:space-between;gap:12px;align-items:center}.lane,.badge{display:inline-flex;align-items:center;border-radius:100px;padding:5px 10px;font-size:11px;text-transform:uppercase;letter-spacing:.07em;font-weight:800}.lane{background:#ece8dc}.lane-hard{color:var(--red);background:#f8e5df}.lane-easy{color:var(--blue);background:#e3edf5}.lane-calibration{color:#64548c;background:#ece7f5}.badge{border:1px solid var(--line);background:#fff}.badge-candidate{background:#fff0d2;border-color:#dea750;color:#7a4c0d}.badge-active,.badge-progress{background:#e3f1ea;border-color:#9bc4af;color:#1f6348}.badge-attempted,.badge-failed,.badge-no_progress,.badge-error{background:#f2e7e2;border-color:#d5ada1;color:#8b392d}.badge-verified,.badge-published{background:#e2eee7;border-color:#8bb89e;color:#235e45}.problem-card h3{font-family:Georgia,serif;font-size:28px;line-height:1.1;font-weight:400;margin:22px 0 14px}.problem-card h3 a,.attempt-row h3 a{color:var(--ink);text-decoration:none}.problem-card p{font-size:14px;color:#4f5551}.meter{height:4px;background:#e5e0d5;margin-top:auto}.meter span{display:block;height:100%;background:var(--red)}.card-meta,.card-actions{display:flex;justify-content:space-between;gap:12px;font-size:12px;color:var(--muted);margin-top:9px}.last-note{font-size:13px;padding:17px 0;margin-top:18px;border-top:1px solid var(--line);color:#555b57}.card-actions{margin-top:auto;padding-top:13px}.card-actions a{color:var(--ink);font-weight:700;text-decoration:none}.attempts-block{background:#ebe6da}.attempt-list{border-top:1px solid #c9c2b4}.attempt-row{display:grid;grid-template-columns:5px 1fr;border-bottom:1px solid #c9c2b4;background:rgba(255,253,247,.45)}.attempt-rail{background:var(--muted)}.outcome-candidate{background:var(--amber)}.outcome-progress,.outcome-verified,.outcome-published{background:var(--green)}.outcome-failed,.outcome-no_progress,.outcome-error{background:var(--red)}.attempt-copy{padding:24px 28px}.eyebrow{display:flex;gap:25px}.attempt-copy h3{font-family:Georgia,serif;font-size:26px;font-weight:400;margin:11px 0}.attempt-copy p{margin:6px 0;color:#515753}.attempt-copy .approach{color:var(--ink);font-weight:700}.row-end{display:flex;justify-content:space-between;align-items:center;margin-top:16px}.arrow{color:var(--ink);font-weight:700;text-decoration:none}.dossier-head,.attempt-head,.method-head{padding:70px clamp(20px,7vw,110px) 55px;border-bottom:1px solid var(--line)}.dossier-head h1,.attempt-head h1,.method-head h1{font-size:clamp(48px,7vw,90px);margin-top:30px}.back{color:var(--ink);text-decoration:none;font-size:14px}.statement,.lead{font-family:Georgia,serif;font-size:clamp(20px,2.2vw,30px);max-width:1000px}.source-line{display:flex;gap:22px;margin-top:28px;flex-wrap:wrap}.source-line a{color:var(--ink);font-weight:700}.dossier-grid,.attempt-detail,.method-grid{padding:44px clamp(20px,7vw,110px);display:grid;grid-template-columns:repeat(3,1fr);gap:18px}.dossier-grid article,.attempt-detail article,.method-grid article{background:var(--card);border:1px solid var(--line);padding:26px}.dossier-grid p,.attempt-detail p{color:#4d534e}.dossier-grid dl,.attempt-detail dl{display:grid;grid-template-columns:1fr 1fr;gap:8px;margin:14px 0 0}.dossier-grid dt,.attempt-detail dt{color:var(--muted)}.dossier-grid dd,.attempt-detail dd{margin:0;text-align:right}.techniques{margin:0 clamp(20px,7vw,110px);padding:26px;border:1px solid var(--line);background:var(--card)}.techniques>div{display:flex;gap:8px;flex-wrap:wrap;margin-top:13px}.techniques>div span{background:#ebe7dc;padding:7px 11px;border-radius:4px;font-size:13px}.empty{padding:34px;background:var(--card)}.attempt-detail{grid-template-columns:repeat(2,1fr)}.attempt-detail ul{padding-left:20px}.attempt-detail li{margin:8px 0}.attempt-detail a{overflow-wrap:anywhere;color:var(--blue)}code{font-size:11px;overflow-wrap:anywhere}.muted{color:var(--muted)}.method-head p{font-size:22px;max-width:750px}.method-grid{grid-template-columns:repeat(3,1fr)}.method-grid article strong{font-family:Georgia,serif;font-size:32px;color:var(--red);font-weight:400}.method-grid h2{font-family:Georgia,serif;font-size:32px;font-weight:400;margin:20px 0 10px}.principles{margin:20px clamp(20px,7vw,110px) 80px;background:var(--black);color:#fff;padding:clamp(30px,5vw,65px)}.principles h2{font-family:Georgia,serif;font-size:45px;font-weight:400}.principles p{max-width:900px;color:#d5d7d5;font-size:18px}.principles div{display:flex;flex-wrap:wrap;gap:20px;margin-top:30px}.principles a{color:#fff}footer{min-height:100px;border-top:1px solid var(--line);padding:28px clamp(20px,5vw,72px);display:flex;align-items:center;justify-content:space-between;gap:20px;color:var(--muted);font-size:12px}@media(max-width:980px){.problem-grid,.method-grid{grid-template-columns:repeat(2,1fr)}.hero-stats{grid-template-columns:repeat(2,1fr)}.dossier-grid{grid-template-columns:1fr 1fr}}@media(max-width:720px){.topbar nav a:not(:first-child){display:none}.lanes,.problem-grid,.dossier-grid,.attempt-detail,.method-grid{grid-template-columns:1fr}.section-heading{align-items:start;flex-direction:column}.hero{padding-top:70px}.hero-stats{grid-template-columns:1fr 1fr}.panel-foot,.card-actions,footer{align-items:flex-start;flex-direction:column}.eyebrow{flex-direction:column;gap:3px}.candidate-alert{align-items:flex-start;flex-direction:column}}

.research-map{padding:55px clamp(20px,7vw,110px)}.research-map>.section-heading>span{color:var(--muted);font-size:13px}.research-grid{display:grid;grid-template-columns:repeat(2,1fr);gap:18px}.research-grid article{background:var(--card);border:1px solid var(--line);padding:26px}.research-grid h3{font-family:Georgia,serif;font-size:28px;font-weight:400;line-height:1.15;margin:16px 0}.research-grid ul{padding-left:20px}.research-grid li{margin:11px 0}.research-grid em{color:var(--red)}
.strategy-library{padding:44px clamp(20px,7vw,110px);display:grid;grid-template-columns:repeat(2,1fr);gap:18px}.strategy-library article{background:var(--card);border:1px solid var(--line);padding:28px}.strategy-library h2{font-family:Georgia,serif;font-size:32px;font-weight:400;line-height:1.1}.strategy-sources{display:flex;gap:14px;flex-wrap:wrap}.strategy-sources a{color:var(--blue);font-weight:700}
.internal-alert{margin:28px clamp(20px,7vw,110px);padding:20px 24px;background:#f2e7e2;border:1px solid #d5ada1;color:#6f3126}.badge-internal_result{background:#f2e7e2;border-color:#d5ada1;color:#8b392d}.outcome-internal_result{background:var(--red)}
@media(max-width:720px){.research-grid,.strategy-library{grid-template-columns:1fr}}

/* Scientific instrument interface / v2 */
:root{
  --ink:#e8f1ed;--muted:#8fa39b;--paper:#07100e;--card:#0c1714;--card-2:#101d19;
  --line:#243832;--line-bright:#3d5d53;--red:#ff746c;--amber:#f0c36a;--green:#65e1b8;
  --blue:#79bfff;--violet:#b8a4ff;--black:#030806;--mono:ui-monospace,SFMono-Regular,Menlo,Monaco,Consolas,"Liberation Mono",monospace;
  --serif:"Iowan Old Style","Palatino Linotype",Palatino,Georgia,serif;
}
html{background:var(--black);scroll-padding-top:72px}
body{
  min-height:100vh;background:
    linear-gradient(rgba(101,225,184,.025) 1px,transparent 1px),
    linear-gradient(90deg,rgba(101,225,184,.025) 1px,transparent 1px),
    var(--paper);
  background-size:32px 32px;color:var(--ink);font-family:Inter,ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif;
  overflow-x:hidden;font-size:15px;line-height:1.55;
}
a{color:var(--green);text-underline-offset:3px}
a:focus-visible,button:focus-visible{outline:2px solid var(--green);outline-offset:3px}
.skip-link{position:fixed;left:16px;top:-60px;z-index:100;background:var(--green);color:var(--black);padding:9px 12px;font:700 12px var(--mono)}
.skip-link:focus{top:12px}
.topbar{
  height:62px;padding:0 clamp(18px,4vw,64px);border-bottom:1px solid var(--line);background:rgba(3,8,6,.92);
  backdrop-filter:blur(18px);box-shadow:0 10px 36px rgba(0,0,0,.18)
}
.brand{gap:10px;color:var(--ink);font-family:var(--mono);font-size:13px;font-weight:760;letter-spacing:.02em;text-transform:uppercase}
.brand-mark{width:30px;height:30px;border:1px solid var(--green);border-radius:2px;background:rgba(101,225,184,.08);color:var(--green);font-size:10px;letter-spacing:.05em}
.brand small{padding-left:10px;border-left:1px solid var(--line);color:var(--muted);font-size:9px;font-weight:500;letter-spacing:.12em}
.topbar nav{gap:clamp(12px,2vw,28px)}
.topbar nav a,footer a{color:var(--muted);font:600 10px var(--mono);letter-spacing:.1em;text-decoration:none;text-transform:uppercase}
.topbar nav a:hover,footer a:hover{color:var(--green);text-decoration:none}
main{max-width:1600px;margin:0 auto;border-left:1px solid rgba(36,56,50,.55);border-right:1px solid rgba(36,56,50,.55);background:rgba(7,16,14,.84)}
.hero{
  position:relative;overflow:hidden;padding:clamp(64px,8vw,116px) clamp(22px,6vw,92px) clamp(42px,5vw,72px);
  border-bottom:1px solid var(--line);background:
    radial-gradient(circle at 82% 25%,rgba(101,225,184,.09),transparent 22%),
    linear-gradient(140deg,rgba(12,28,23,.98),rgba(7,16,14,.96) 62%);
}
.hero:before{
  content:"R(5,5)   SAT / LEAN   Σ   GRAPH THEORY";position:absolute;right:-34px;top:76px;max-width:520px;
  color:rgba(101,225,184,.07);font:700 clamp(42px,6vw,90px)/.94 var(--mono);letter-spacing:-.08em;text-align:right;white-space:pre-wrap;transform:rotate(-2deg)
}
.hero>*{position:relative;z-index:1}
.hero-kicker,.overline,.panel-label,.eyebrow{color:var(--green);font:650 10px var(--mono);letter-spacing:.14em;text-transform:uppercase}
.live-dot,.pulse{width:7px;height:7px;background:var(--green);box-shadow:0 0 0 4px rgba(101,225,184,.1),0 0 18px rgba(101,225,184,.55)}
.hero h1,.dossier-head h1,.attempt-head h1,.method-head h1{
  max-width:980px;margin:20px 0 22px;color:var(--ink);font-family:var(--serif);font-size:clamp(48px,7vw,100px);font-weight:400;line-height:.92;letter-spacing:-.055em
}
.hero h1 em,.method-head h1 em{color:var(--green);font-weight:400}
.hero-copy{max-width:720px;color:#b7c8c1;font-size:clamp(16px,1.7vw,21px);line-height:1.55}
.hero-stats{max-width:920px;margin-top:44px;grid-template-columns:repeat(4,1fr);gap:0;background:transparent;border:1px solid var(--line)}
.hero-stats div{position:relative;padding:18px 20px;background:rgba(3,8,6,.42);border-right:1px solid var(--line)}
.hero-stats div:last-child{border-right:0}
.hero-stats strong{color:var(--ink);font:500 30px/1 var(--mono);font-variant-numeric:tabular-nums}
.hero-stats span{display:block;margin-top:9px;color:var(--muted);font:600 9px var(--mono);letter-spacing:.12em;text-transform:uppercase}
.candidate-alert,.internal-alert{margin:0;padding:17px clamp(22px,6vw,92px);border:0;border-bottom:1px solid var(--amber);background:rgba(240,195,106,.08);color:var(--ink)}
.candidate-alert p{color:#c8b98f}.candidate-alert a{color:var(--amber);font:700 10px var(--mono);letter-spacing:.1em;text-transform:uppercase}
.internal-alert{border-color:var(--red);background:rgba(255,116,108,.08);color:var(--ink)}
.lanes{padding:32px clamp(22px,6vw,92px);gap:14px;border-bottom:1px solid var(--line)}
.lane-panel{min-height:236px;padding:25px;border:1px solid var(--line);border-top:1px solid var(--line);background:linear-gradient(150deg,rgba(16,29,25,.98),rgba(8,18,15,.98));box-shadow:0 14px 40px rgba(0,0,0,.14)}
.lane-panel:before{content:"";display:block;width:42px;height:2px;margin-bottom:18px;background:var(--red)}
.easy-panel:before{background:var(--blue)}
.lane-panel h2{margin:14px 0 10px;color:var(--ink);font-family:var(--serif);font-size:clamp(27px,3vw,38px);font-weight:400;line-height:1.08}
.lane-panel p{margin:0;color:#9fb0aa;font-size:13px;line-height:1.55}
.panel-foot{padding-top:17px;border-color:var(--line);color:var(--muted);font:550 10px/1.5 var(--mono)}
.panel-foot a{color:var(--green);text-decoration:none}
.healthline{margin:0;padding:12px clamp(22px,6vw,92px);border:0;border-bottom:1px solid var(--line);background:rgba(3,8,6,.42);color:var(--muted);font:550 9px var(--mono);letter-spacing:.06em;text-transform:uppercase}
.health{color:var(--ink)}.health:before{background:var(--amber)}.health-healthy:before{background:var(--green)}.health-degraded:before{background:var(--red)}
.section-block{padding:clamp(46px,6vw,78px) clamp(22px,6vw,92px)}
.section-heading{margin-bottom:24px;padding-bottom:18px;border-bottom:1px solid var(--line)}
.section-heading h2{margin:6px 0 0;color:var(--ink);font-family:var(--serif);font-size:clamp(34px,4.5vw,58px);font-weight:400;line-height:1;letter-spacing:-.035em}
.section-heading>a{color:var(--green);font:650 10px var(--mono);letter-spacing:.08em;text-decoration:none;text-transform:uppercase}
.section-note{color:var(--muted);font:550 9px var(--mono);letter-spacing:.08em;text-transform:uppercase}
.planned-block{border-top:1px solid var(--line);background:rgba(8,19,16,.62)}
.filters{gap:6px}
.filter{padding:7px 11px;border:1px solid var(--line);border-radius:2px;background:transparent;color:var(--muted);font:650 9px var(--mono);letter-spacing:.08em;text-transform:uppercase}
.filter:hover{border-color:var(--line-bright);color:var(--ink)}
.filter.active{border-color:var(--green);background:rgba(101,225,184,.1);color:var(--green)}
.problem-grid{grid-template-columns:repeat(3,minmax(0,1fr));gap:10px}
.problem-card{min-width:0;min-height:342px;padding:20px;border:1px solid var(--line);background:linear-gradient(155deg,rgba(16,29,25,.96),rgba(9,19,16,.98));box-shadow:none}
.problem-card:hover{border-color:var(--line-bright);transform:translateY(-1px);transition:border-color .15s ease,transform .15s ease}
.card-top{align-items:flex-start}.lane,.badge{border-radius:2px;padding:5px 7px;font:700 8px var(--mono);letter-spacing:.09em}
.lane{border:1px solid var(--line);background:transparent;color:var(--muted)}
.lane-hard{border-color:rgba(255,116,108,.45);background:rgba(255,116,108,.07);color:var(--red)}
.lane-easy{border-color:rgba(121,191,255,.4);background:rgba(121,191,255,.07);color:var(--blue)}
.lane-calibration{border-color:rgba(184,164,255,.4);background:rgba(184,164,255,.07);color:var(--violet)}
.badge{border-color:var(--line);background:rgba(255,255,255,.025);color:var(--muted)}
.badge-candidate{border-color:rgba(240,195,106,.52);background:rgba(240,195,106,.08);color:var(--amber)}
.badge-active,.badge-progress,.badge-verified,.badge-published{border-color:rgba(101,225,184,.42);background:rgba(101,225,184,.08);color:var(--green)}
.badge-attempted,.badge-failed,.badge-no_progress,.badge-error,.badge-internal_result{border-color:rgba(255,116,108,.4);background:rgba(255,116,108,.07);color:var(--red)}
.problem-card h3{margin:18px 0 10px;font-family:var(--serif);font-size:25px;font-weight:400;line-height:1.08;overflow-wrap:anywhere}
.problem-card h3 a,.attempt-row h3 a{display:block;max-width:100%;color:var(--ink);text-decoration:none;overflow-wrap:anywhere}
.problem-card mjx-container{display:inline-block!important;width:100%!important;max-width:100%;overflow-x:auto;overflow-y:hidden}
.problem-card mjx-container>mjx-math{max-width:100%}
.problem-card p{margin:0;color:#9fb0aa;font-size:12.5px;line-height:1.55}
.meter{height:2px;margin-top:auto;background:var(--line)}.meter span{background:var(--green)}
.card-meta,.card-actions{color:var(--muted);font:500 9px/1.4 var(--mono)}
.last-note{max-height:74px;overflow:hidden;margin-top:14px;padding:13px 0 0;border-color:var(--line);color:#aebdb7;font-size:11.5px;line-height:1.5}
.card-actions{padding-top:13px;border-top:1px solid var(--line)}.card-actions a{color:var(--green);text-decoration:none}
.attempts-block{background:rgba(3,8,6,.48)}
.attempt-list{border-color:var(--line)}
.attempt-row{max-width:100%;grid-template-columns:3px minmax(0,1fr);border-color:var(--line);background:rgba(12,23,20,.72)}
.attempt-row:hover{background:rgba(16,31,26,.88)}
.attempt-rail{background:var(--muted)}.outcome-candidate{background:var(--amber)}.outcome-progress,.outcome-verified,.outcome-published{background:var(--green)}.outcome-failed,.outcome-no_progress,.outcome-error,.outcome-internal_result{background:var(--red)}
.attempt-copy{min-width:0;padding:19px 22px;overflow-wrap:anywhere}.eyebrow{gap:18px;color:var(--muted)}
.attempt-copy h3{margin:8px 0 6px;font-family:var(--serif);font-size:23px;font-weight:400}
.attempt-copy p{margin:4px 0;color:#9fb0aa;font-size:12.5px}.attempt-copy .approach{color:var(--ink);font-weight:620}
.row-end{margin-top:12px}.arrow{color:var(--green);font:650 9px var(--mono);letter-spacing:.08em;text-decoration:none;text-transform:uppercase}
.dossier-head,.attempt-head,.method-head{padding:clamp(52px,7vw,92px) clamp(22px,6vw,92px) 44px;border-color:var(--line);background:linear-gradient(145deg,rgba(13,28,23,.98),rgba(7,16,14,.96))}
.dossier-head h1,.attempt-head h1,.method-head h1{margin:22px 0 18px;font-size:clamp(45px,6vw,78px)}
.back{color:var(--muted);font:600 9px var(--mono);letter-spacing:.08em;text-transform:uppercase}
.statement,.lead{max-width:960px;color:#c3d0cb;font-family:var(--serif);font-size:clamp(18px,2vw,25px);line-height:1.45}
.source-line{gap:18px;margin-top:22px}.source-line a{color:var(--green);font:650 9px var(--mono);letter-spacing:.07em;text-decoration:none;text-transform:uppercase}
.dossier-grid,.attempt-detail,.method-grid{padding:30px clamp(22px,6vw,92px);gap:10px}
.dossier-grid article,.attempt-detail article,.method-grid article,.research-grid article,.strategy-library article{border:1px solid var(--line);background:rgba(12,23,20,.88);padding:21px}
.dossier-grid p,.attempt-detail p{color:#aab9b3;font-size:12.5px}
.dossier-grid dl,.attempt-detail dl{font:500 10px/1.5 var(--mono)}
.dossier-grid dt,.attempt-detail dt{color:var(--muted)}.dossier-grid dd,.attempt-detail dd{color:var(--ink)}
.techniques{margin:0 clamp(22px,6vw,92px);padding:19px;border-color:var(--line);background:rgba(12,23,20,.78)}
.techniques>div span{border:1px solid var(--line);border-radius:2px;background:transparent;color:var(--muted);font:550 9px var(--mono)}
.research-map{padding:38px clamp(22px,6vw,92px)}
.research-grid{gap:10px}.research-grid h3{color:var(--ink);font-family:var(--serif);font-size:25px;font-weight:400}.research-grid li,.attempt-detail li{margin:8px 0;color:#aab9b3;font-size:12px}
.strategy-library{padding:30px clamp(22px,6vw,92px);gap:10px}.strategy-library h2{color:var(--ink);font-family:var(--serif);font-size:28px}.strategy-library p,.strategy-library li{color:#aab9b3;font-size:12.5px}.strategy-sources a{color:var(--green)}
.method-grid article strong{color:var(--green);font:500 22px var(--mono)}.method-grid h2{color:var(--ink);font-family:var(--serif);font-size:27px;font-weight:400}.method-grid p{color:#aab9b3;font-size:12.5px}
.principles{margin:20px clamp(22px,6vw,92px) 58px;padding:clamp(26px,4vw,46px);border:1px solid var(--line);background:linear-gradient(145deg,#0b1b16,#06100d);color:var(--ink)}
.principles h2{margin-top:0;color:var(--ink);font-family:var(--serif);font-size:38px;font-weight:400}.principles p,.principles li{color:#aab9b3;font-size:13px}.principles a{color:var(--green)}
.about-grid{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:10px;padding:30px clamp(22px,6vw,92px)}
.about-grid article{min-height:280px;padding:25px;border:1px solid var(--line);background:rgba(12,23,20,.88)}
.about-grid h2{margin:24px 0 12px;color:var(--ink);font-family:var(--serif);font-size:30px;font-weight:400;line-height:1.08}
.about-grid p,.about-source p{color:#aab9b3;font-size:13px;line-height:1.65}
.about-source{margin:0 clamp(22px,6vw,92px) 58px;padding:25px;border:1px solid var(--line);background:linear-gradient(145deg,#0b1b16,#06100d)}
.about-source p{max-width:820px}.about-source a{font:650 10px var(--mono);letter-spacing:.08em;text-decoration:none;text-transform:uppercase}
.empty{border:1px solid var(--line);background:var(--card);color:var(--muted)}
code{color:var(--green);font-family:var(--mono);font-size:10px}.muted{color:var(--muted)}
footer{min-height:78px;padding:22px clamp(22px,4vw,64px);border-color:var(--line);background:var(--black);color:var(--muted);font:500 9px var(--mono);letter-spacing:.06em;text-transform:uppercase}
@media(max-width:1080px){.problem-grid{grid-template-columns:repeat(2,minmax(0,1fr))}.brand small{display:none}}
@media(max-width:760px){
  .topbar{height:56px}.topbar nav{gap:9px}.topbar nav a{display:inline!important;font-size:8px}.brand span:not(.brand-mark),.brand small{display:none}
  .hero{padding-top:58px}.hero:before{display:none}.hero-stats{grid-template-columns:repeat(2,1fr)}.hero-stats div:nth-child(2){border-right:0}.hero-stats div:nth-child(-n+2){border-bottom:1px solid var(--line)}
  .lanes,.problem-grid,.dossier-grid,.attempt-detail,.method-grid,.research-grid,.strategy-library,.about-grid{grid-template-columns:minmax(0,1fr)}
  .section-heading{align-items:flex-start}.section-heading h2{font-size:38px}.filters{margin-top:4px}
  .problem-card{min-height:315px}.card-meta,.card-actions{flex-wrap:wrap}footer{align-items:flex-start}
}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}.problem-card:hover{transform:none}}

/* Academic journal interface / v4 */
:root{
  --ink:#1d2625;--muted:#66706e;--paper:#f4f1e8;--card:#fbfaf5;--card-2:#eeeae0;
  --line:#cec8ba;--line-bright:#969c97;--red:#7c2f36;--amber:#96691e;--green:#315c4f;
  --blue:#2f4e67;--violet:#554b70;--black:#17211f;
  --mono:"Avenir Next",Avenir,"Helvetica Neue",Arial,sans-serif;
  --serif:Charter,"Iowan Old Style","Palatino Linotype",Palatino,Georgia,serif;
}
html{background:var(--paper);scroll-padding-top:70px}
body{background:var(--paper);color:var(--ink);font-family:var(--serif);font-size:16px;line-height:1.58}
a{color:var(--blue)}a:focus-visible,button:focus-visible{outline-color:var(--red)}
.skip-link{background:var(--ink);color:#fff;font-family:var(--mono)}
.topbar{height:68px;padding:0 clamp(20px,4.5vw,76px);border-color:var(--line);background:rgba(244,241,232,.96);box-shadow:none}
.brand{color:var(--ink);font-family:var(--serif);font-size:17px;font-weight:650;letter-spacing:.005em;text-transform:none}
.brand-mark{width:32px;height:32px;border:1px solid var(--ink);border-radius:50%;background:transparent;color:var(--ink);font:700 10px var(--mono)}
.brand small{border-color:var(--line);color:var(--muted);font:600 9px var(--mono);letter-spacing:.12em;text-transform:uppercase}
.topbar nav{gap:clamp(13px,2.1vw,30px)}
.topbar nav a,footer a{color:var(--muted);font:650 10px var(--mono);letter-spacing:.09em;text-transform:uppercase}
.topbar nav a:hover,footer a:hover{color:var(--red)}
main{max-width:1480px;border-color:var(--line);background:var(--paper)}
.hero{padding:clamp(70px,8.5vw,126px) clamp(24px,7vw,108px) clamp(60px,7vw,94px);border-color:var(--line);background:linear-gradient(120deg,#f7f4ec,#eee9de)}
.hero:before{content:"R(5,5)  ·  GRAPH THEORY  ·  FORMAL METHODS";right:5.5vw;top:48px;color:rgba(47,78,103,.065);font:650 clamp(28px,4vw,58px)/1.05 var(--mono);letter-spacing:-.045em;transform:none}
.hero-kicker,.overline,.panel-label,.eyebrow{color:var(--red);font:650 10px var(--mono);letter-spacing:.14em;text-transform:uppercase}
.hero h1,.dossier-head h1,.attempt-head h1,.method-head h1{max-width:1100px;margin:24px 0 26px;color:var(--ink);font-family:var(--serif);font-size:clamp(48px,7vw,96px);font-weight:400;line-height:1.01;letter-spacing:-.045em}
.hero h1 em,.method-head h1 em{color:var(--red);font-style:normal}
.hero-copy{max-width:800px;color:#48514f;font-family:var(--serif);font-size:clamp(18px,1.8vw,24px);line-height:1.55}
.candidate-alert,.internal-alert{border-color:#c9aa74;background:#f6ecd7;color:var(--ink)}.candidate-alert p{color:#66573f}.pulse{background:var(--amber);box-shadow:none}
.section-block{padding:clamp(48px,6vw,78px) clamp(24px,7vw,108px)}
.section-heading{margin-bottom:26px;padding-bottom:17px;border-color:var(--line)}
.section-heading h2{color:var(--ink);font-family:var(--serif);font-size:clamp(34px,4.3vw,56px);font-weight:400;letter-spacing:-.035em}
.section-note{color:var(--muted);font:600 9px var(--mono);letter-spacing:.09em}
.operations{border-bottom:1px solid var(--line);background:#f8f6f0}
.operations .section-heading{margin-bottom:0}.healthline{margin:0;padding:14px 0;border-top:0;border-color:var(--line);color:var(--muted);font:550 10px var(--mono);letter-spacing:.035em}
.health{color:var(--ink)}.health:before{background:var(--amber);box-shadow:none}.health-healthy:before{background:var(--green)}.health-degraded:before{background:var(--red)}
.operation-grid{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:14px;margin-top:18px}
.operation-card{position:relative;min-width:0;padding:26px 28px 24px;border:1px solid var(--line);background:var(--card)}
.operation-card:before{content:"";position:absolute;left:-1px;top:-1px;bottom:-1px;width:4px;background:var(--blue)}.operation-hard:before{background:var(--red)}
.operation-head{display:flex;align-items:center;justify-content:space-between;gap:16px}.operation-status{color:var(--muted);font:650 10px var(--mono);letter-spacing:.07em;text-transform:uppercase}.operation-status.is-live{color:var(--green)}.operation-status.is-live:before{content:"";display:inline-block;width:7px;height:7px;margin-right:7px;border-radius:50%;background:var(--green)}
.operation-card h3{margin:24px 0 7px;color:var(--ink);font-size:clamp(24px,2.5vw,35px);font-weight:400;line-height:1.12}.operation-detail{margin:0;color:var(--muted);font-size:14px}
.operation-card dl{display:grid;grid-template-columns:.75fr 1.35fr 1fr;gap:0;margin:24px 0 0;border-top:1px solid var(--line)}.operation-card dl div{padding-top:14px}.operation-card dl div+div{padding-left:20px;border-left:1px solid var(--line)}.operation-card dt{color:var(--muted);font:650 9px var(--mono);letter-spacing:.1em;text-transform:uppercase}.operation-card dd{margin:4px 0 0;color:var(--ink);font:650 12px var(--mono)}
.problem-grid{grid-template-columns:repeat(3,minmax(0,1fr));gap:14px}.problem-card{min-height:350px;padding:24px;border-color:var(--line);background:var(--card)}.problem-card:hover{border-color:var(--line-bright)}
.lane,.badge{border-radius:0;font:700 8px var(--mono)}.lane{border-color:var(--line);background:transparent}.lane-hard{border-color:#b7898c;background:#f1e4e3;color:var(--red)}.lane-easy{border-color:#9eafbc;background:#e7edf0;color:var(--blue)}.lane-calibration{border-color:#aaa4b8;background:#ece9f0;color:var(--violet)}
.badge{border-color:var(--line);background:#f8f6f0;color:var(--muted)}.badge-candidate{border-color:#c9aa74;background:#f6ecd7;color:#76511a}.badge-active,.badge-progress,.badge-verified,.badge-published{border-color:#91aa9e;background:#e4ece7;color:var(--green)}.badge-attempted,.badge-failed,.badge-no_progress,.badge-error,.badge-internal_result{border-color:#bd9692;background:#f1e5e2;color:var(--red)}
.problem-card h3{font-size:26px}.problem-card p{color:#56605e;font-family:var(--serif);font-size:14px}.meter{background:#ddd7cb}.meter span{background:var(--red)}.card-meta,.card-actions{color:var(--muted);font:550 9px var(--mono)}.last-note{color:#525c59;font-family:var(--serif);font-size:13px}.card-actions{border-color:var(--line)}.card-actions a{color:var(--blue)}
.planned-block{border-color:var(--line);background:#eeeae0}.attempts-block{background:#e8e4da}.attempt-list{border-color:var(--line)}
.attempt-row{grid-template-columns:4px minmax(0,1fr);border-color:var(--line);background:rgba(251,250,245,.82)}.attempt-row:hover{background:var(--card)}.attempt-copy{padding:25px 28px}.eyebrow{color:var(--muted)}.attempt-copy h3{font-size:26px}.attempt-copy p{color:#56605e;font-family:var(--serif);font-size:14px}.attempt-copy .approach{color:var(--ink);font-weight:650}
.accomplishment{max-width:1020px;margin:15px 0 5px;padding:14px 17px;border-left:2px solid var(--blue);background:#f0eee7}.accomplishment>span{color:var(--blue);font:700 9px var(--mono);letter-spacing:.1em;text-transform:uppercase}.accomplishment p{margin:5px 0 0;color:#343d3b}.next-action{max-width:1020px}.arrow{color:var(--blue)}
.dossier-head,.attempt-head,.method-head{border-color:var(--line);background:linear-gradient(120deg,#f7f4ec,#eee9de)}.back{color:var(--muted)}.statement,.lead{color:#3f4947}.source-line a{color:var(--blue)}
.dossier-grid article,.attempt-detail article,.method-grid article,.research-grid article,.strategy-library article,.about-grid article{border-color:var(--line);background:var(--card)}.dossier-grid p,.attempt-detail p,.research-grid li,.attempt-detail li,.strategy-library p,.strategy-library li,.method-grid p,.about-grid p,.about-source p{color:#525c59;font-family:var(--serif);font-size:14px}.techniques{border-color:var(--line);background:var(--card)}.techniques>div span{border-color:var(--line);color:var(--muted)}
.research-grid h3,.strategy-library h2,.method-grid h2,.about-grid h2,.principles h2{color:var(--ink)}.strategy-sources a{color:var(--blue)}
.principles,.about-source{border-color:var(--line);background:var(--black);color:#f3f0e8}.principles h2,.about-source h2{color:#fff}.principles p,.principles li,.about-source p{color:#d3d7d2}.principles a,.about-source a{color:#e5d6b7}
.empty{border-color:var(--line);background:var(--card);color:var(--muted)}code{color:var(--red)}
footer{background:var(--black);color:#acb4b0;border-color:var(--black)}footer a{color:#d8ddd8}
@media(max-width:1080px){.problem-grid{grid-template-columns:repeat(2,minmax(0,1fr))}}
@media(max-width:760px){.hero:before{display:none}.operation-grid,.problem-grid{grid-template-columns:1fr}.operation-card dl{grid-template-columns:1fr}.operation-card dl div+div{margin-top:12px;padding-left:0;border-left:0}.topbar nav a{font-size:8px}.section-heading{align-items:flex-start}.attempt-copy{padding:20px}.accomplishment{padding:12px 14px}}