Refined visual design: OpenAI-style monochrome chrome, Inter type, generous whitespace, flat surfaces

index.html

@@ -6,92 +6,92 @@
 <title>Compressed Value Functions — inspector</title>
 <style>
   :root{
-    --page:#f9f9f7; --surface:#fcfcfb; --raise:#ffffff; --ink:#0b0b0b; --ink2:#52514e; --muted:#898781;
-    --border:rgba(11,11,11,.10); --chip:#eef0ec; --track:#e4e5e1; --accent:#2a78d6;
+    --page:#f5f4f1; --surface:#ffffff; --raise:#ffffff; --ink:#0d0d0d; --ink2:#5c5b56; --muted:#93928b;
+    --border:rgba(13,13,13,.10); --hair:rgba(13,13,13,.06); --chip:#f2f1ec; --track:#e7e6df; --accent:#0d0d0d;
     --st-good:#0ca30c; --st-warn:#fab219; --st-bad:#d03b3b;
-    --s-fullcot:#2a78d6; --s-teacher:#1baf7a; --s-base:#eda100;
-    --s-instruct:#008300; --s-baselr:#4a3aa7; --s-instructlr:#e34948;
-    --shadow:0 1px 2px rgba(0,0,0,.05),0 1px 3px rgba(0,0,0,.04);
+    --s-fullcot:#2a78d6; --s-teacher:#1baf7a; --s-base:#eda100; --s-instruct:#008300; --s-baselr:#4a3aa7; --s-instructlr:#e34948;
+    --shadow:0 1px 2px rgba(13,13,13,.04),0 10px 34px rgba(13,13,13,.05); --r:18px;
   }
   @media (prefers-color-scheme:dark){:root{
-    --page:#0d0d0d; --surface:#161615; --raise:#1c1c1b; --ink:#fff; --ink2:#c3c2b7; --muted:#8f8d86;
-    --border:rgba(255,255,255,.12); --chip:#242423; --track:#2c2c2a; --accent:#3987e5;
-    --s-fullcot:#3987e5; --s-teacher:#199e70; --s-base:#c98500;
-    --s-instruct:#3a9e3a; --s-baselr:#9085e9; --s-instructlr:#e66767;
-    --shadow:0 1px 2px rgba(0,0,0,.4);
+    --page:#0a0a0a; --surface:#151513; --raise:#1b1a18; --ink:#f4f3ee; --ink2:#b6b4ab; --muted:#88867e;
+    --border:rgba(255,255,255,.11); --hair:rgba(255,255,255,.06); --chip:#201f1c; --track:#2b2a26; --accent:#f4f3ee;
+    --s-fullcot:#3987e5; --s-teacher:#199e70; --s-base:#c98500; --s-instruct:#3a9e3a; --s-baselr:#9085e9; --s-instructlr:#e66767;
+    --shadow:0 1px 2px rgba(0,0,0,.5),0 12px 38px rgba(0,0,0,.4);
   }}
   *{box-sizing:border-box}
   body{margin:0;background:var(--page);color:var(--ink);
-    font:15px/1.6 system-ui,-apple-system,"Segoe UI",Roboto,Helvetica,Arial,sans-serif;-webkit-font-smoothing:antialiased}
-  .wrap{max-width:1400px;margin:0 auto;padding:0 18px 60px}
-  header.hero{padding:34px 0 6px}
-  .kicker{color:var(--accent);font-weight:700;font-size:12.5px;letter-spacing:.08em;text-transform:uppercase}
-  h1{font-size:27px;line-height:1.15;margin:8px 0 10px;letter-spacing:-.01em}
-  .sub{color:var(--ink2);font-size:15.5px;max-width:820px;margin:0}
-  h2.sec{font-size:12.5px;color:var(--muted);font-weight:700;text-transform:uppercase;letter-spacing:.06em;margin:26px 0 12px}
-  .card{background:var(--surface);border:1px solid var(--border);border-radius:16px;padding:18px 20px;box-shadow:var(--shadow)}
-  .grid2{display:grid;grid-template-columns:1fr 1fr;gap:14px} @media(max-width:820px){.grid2{grid-template-columns:1fr}}
-  code{background:var(--chip);padding:1px 6px;border-radius:6px;font-size:.88em}
-  a{color:var(--accent)}
-  .lbl{font-size:11px;color:var(--muted);font-weight:700;text-transform:uppercase;letter-spacing:.05em;margin:0 0 8px}
-  .def{margin:2px 0;color:var(--ink2);font-size:14px} .def b{color:var(--ink)}
-  .legrow{display:flex;gap:10px;align-items:flex-start;margin:8px 0}
-  .dot{width:11px;height:11px;border-radius:50%;flex:none;margin-top:5px;box-shadow:0 0 0 2px var(--surface)}
-  .legrow .nm{font-weight:650} .legrow .ds{color:var(--ink2);font-size:13.5px}
-  .bands{display:flex;flex-wrap:wrap;gap:8px;margin-top:6px}
-  .band{display:flex;align-items:center;gap:7px;font-size:13px;background:var(--chip);border:1px solid var(--border);border-radius:999px;padding:4px 11px}
+    font-family:"Inter",system-ui,-apple-system,"Segoe UI",Roboto,sans-serif;font-size:15px;line-height:1.65;
+    -webkit-font-smoothing:antialiased;text-rendering:optimizeLegibility}
+  .wrap{max-width:1320px;margin:0 auto;padding:0 24px 92px}
+  header.hero{padding:66px 0 32px;border-bottom:1px solid var(--hair)}
+  .kicker{color:var(--ink2);font-weight:600;font-size:12px;letter-spacing:.15em;text-transform:uppercase}
+  h1{font-size:clamp(31px,4.6vw,48px);line-height:1.05;margin:18px 0 18px;letter-spacing:-.028em;font-weight:600;max-width:17ch}
+  .sub{color:var(--ink2);font-size:clamp(16px,1.6vw,19px);line-height:1.55;max-width:68ch;margin:0}
+  h2.sec{font-size:12px;color:var(--muted);font-weight:600;text-transform:uppercase;letter-spacing:.1em;margin:48px 0 16px}
+  .card{background:var(--surface);border:1px solid var(--border);border-radius:var(--r);padding:24px 26px}
+  .grid2{display:grid;grid-template-columns:1fr 1fr;gap:16px} @media(max-width:820px){.grid2{grid-template-columns:1fr}}
+  code{background:var(--chip);padding:1.5px 6px;border-radius:6px;font-size:.85em;font-family:ui-monospace,SFMono-Regular,Menlo,monospace}
+  a{color:var(--ink);text-underline-offset:2px}
+  .lbl{font-size:11px;color:var(--muted);font-weight:600;text-transform:uppercase;letter-spacing:.09em;margin:0 0 11px}
+  .def{margin:0 0 11px;color:var(--ink2);font-size:14.5px} .def b{color:var(--ink);font-weight:600}
+  .legrow{display:flex;gap:11px;align-items:flex-start;margin:11px 0}
+  .dot{width:10px;height:10px;border-radius:50%;flex:none;margin-top:6px;box-shadow:0 0 0 2px var(--surface)}
+  .legrow .nm{font-weight:600} .legrow .ds{color:var(--ink2);font-size:13.5px}
+  .bands{display:flex;flex-wrap:wrap;gap:8px;margin-top:8px}
+  .band{display:flex;align-items:center;gap:7px;font-size:13px;background:var(--chip);border-radius:999px;padding:5px 13px}
   .gl{font-weight:800;width:14px;text-align:center}
   table.agg{border-collapse:collapse;width:100%;font-size:14px;font-variant-numeric:tabular-nums}
-  table.agg th,table.agg td{padding:8px 10px;text-align:right;border-bottom:1px solid var(--border)}
+  table.agg th,table.agg td{padding:12px 10px;text-align:right;border-bottom:1px solid var(--hair)}
   table.agg th:first-child,table.agg td:first-child{text-align:left}
-  table.agg th{color:var(--muted);font-weight:600;font-variant-numeric:normal}
+  table.agg th{color:var(--muted);font-weight:500;font-variant-numeric:normal;font-size:11.5px;text-transform:uppercase;letter-spacing:.05em}
   table.agg tr:last-child td{border-bottom:none}
-  .srccell{display:flex;align-items:center;gap:8px;font-weight:600}
-  .best td{background:color-mix(in srgb,var(--st-good) 9%,transparent)}
-  .take{color:var(--ink2);font-size:13.5px;margin:12px 0 0}
-  /* inspector */
-  .inspector{display:grid;grid-template-columns:224px minmax(0,1fr);gap:16px;align-items:start}
+  .srccell{display:flex;align-items:center;gap:9px;font-weight:600}
+  .best td{background:color-mix(in srgb,var(--st-good) 8%,transparent)}
+  .take{color:var(--ink2);font-size:13.5px;margin:15px 0 0;max-width:82ch}
+  .inspector{display:grid;grid-template-columns:238px minmax(0,1fr);gap:20px;align-items:start}
   @media(max-width:900px){.inspector{grid-template-columns:1fr}}
-  .rail{position:sticky;top:14px;max-height:84vh;overflow:auto;border:1px solid var(--border);border-radius:14px;background:var(--surface);padding:8px}
-  @media(max-width:900px){.rail{position:static;max-height:200px}}
-  .railitem{display:flex;align-items:center;gap:9px;padding:8px 10px;border-radius:9px;cursor:pointer;font-size:13px}
+  .rail{position:sticky;top:16px;max-height:86vh;overflow:auto;border:1px solid var(--border);border-radius:14px;background:var(--surface);padding:7px}
+  @media(max-width:900px){.rail{position:static;max-height:210px}}
+  .railitem{display:flex;align-items:center;gap:10px;padding:9px 11px;border-radius:10px;cursor:pointer;font-size:13px;transition:background .12s}
   .railitem:hover{background:var(--chip)}
-  .railitem.active{background:color-mix(in srgb,var(--accent) 14%,transparent);box-shadow:inset 0 0 0 1px var(--accent)}
+  .railitem.active{background:var(--chip);box-shadow:inset 2.5px 0 0 var(--ink)}
   .rn{width:20px;color:var(--muted);font-variant-numeric:tabular-nums;flex:none;text-align:right}
   .rv{font-weight:700;font-variant-numeric:tabular-nums} .rc{color:var(--muted);margin-left:auto;font-size:11px}
-  .detail{border:1px solid var(--border);border-radius:16px;background:var(--surface);padding:18px 20px;box-shadow:var(--shadow);min-width:0}
-  .dhead{display:flex;justify-content:space-between;align-items:center;gap:10px;flex-wrap:wrap}
+  .detail{border:1px solid var(--border);border-radius:var(--r);background:var(--surface);padding:26px 28px;box-shadow:var(--shadow);min-width:0}
+  .dhead{display:flex;justify-content:space-between;align-items:center;gap:12px;flex-wrap:wrap}
   .meta{color:var(--muted);font-size:12.5px;font-variant-numeric:tabular-nums}
-  .nav{display:flex;gap:8px} .nav button{font:inherit;font-size:15px;line-height:1;border:1px solid var(--border);
-    background:var(--surface);color:var(--ink);border-radius:9px;padding:6px 13px;cursor:pointer} .nav button:hover{background:var(--chip)}
-  .q{font-weight:600;margin:8px 0 2px;white-space:pre-wrap;font-size:15.5px}
-  .vrow{display:flex;align-items:center;gap:12px;flex-wrap:wrap;margin:10px 0 2px}
-  .vpill{font-size:13px;font-weight:700;padding:4px 12px;border-radius:999px;white-space:nowrap;display:flex;align-items:center;gap:7px}
-  .hint{color:var(--muted);font-size:12px}
-  .tiles{display:grid;grid-template-columns:repeat(auto-fit,minmax(150px,1fr));gap:10px;margin-top:8px}
-  .tile{border:1px solid var(--border);border-radius:12px;padding:10px 12px;background:var(--raise)}
-  .tname{display:flex;align-items:center;gap:7px;font-size:12px;font-weight:650;color:var(--ink2)}
-  .tval{font-size:23px;font-weight:700;margin:2px 0 7px;letter-spacing:-.01em}
-  .meter{position:relative;height:9px;background:var(--track);border-radius:6px}
+  .nav{display:flex;gap:8px} .nav button{font:inherit;font-size:13px;font-weight:500;border:1px solid var(--border);
+    background:var(--surface);color:var(--ink);border-radius:999px;padding:7px 15px;cursor:pointer;transition:background .12s} .nav button:hover{background:var(--chip)}
+  .q{font-weight:600;margin:16px 0 2px;white-space:pre-wrap;font-size:19px;line-height:1.42;letter-spacing:-.012em}
+  .vrow{display:flex;align-items:center;gap:12px;flex-wrap:wrap;margin:16px 0 2px}
+  .vpill{font-size:13px;font-weight:600;padding:5px 13px;border-radius:999px;white-space:nowrap;display:flex;align-items:center;gap:7px}
+  .hint{color:var(--muted);font-size:12px;font-weight:400;text-transform:none;letter-spacing:0}
+  .tiles{display:grid;grid-template-columns:repeat(auto-fit,minmax(148px,1fr));gap:11px;margin-top:10px}
+  .tile{border:1px solid var(--border);border-radius:14px;padding:13px 15px;background:var(--raise)}
+  .tname{display:flex;align-items:center;gap:7px;font-size:12px;font-weight:600;color:var(--ink2)}
+  .tval{font-size:26px;font-weight:600;margin:4px 0 10px;letter-spacing:-.02em}
+  .meter{position:relative;height:8px;background:var(--track);border-radius:6px}
   .mfill{position:absolute;left:0;top:0;bottom:0;border-radius:2px 6px 6px 2px;min-width:3px}
   .mtick{position:absolute;top:-3px;bottom:-3px;width:2px;background:var(--ink);border-radius:2px}
-  .terr{display:flex;align-items:center;gap:6px;font-size:11px;margin-top:7px;color:var(--ink2);font-variant-numeric:tabular-nums}
-  /* side-by-side columns */
-  .cols{display:flex;gap:12px;overflow-x:auto;margin-top:14px;padding-bottom:10px;scroll-snap-type:x proximity}
-  .col{flex:0 0 300px;border:1px solid var(--border);border-radius:12px;background:var(--raise);display:flex;flex-direction:column;min-width:0;scroll-snap-align:start}
-  .col.wide{flex-basis:440px}
-  .colhead{padding:10px 12px;border-bottom:1px solid var(--border);position:sticky;top:0;background:var(--raise);border-radius:12px 12px 0 0;z-index:1}
-  .colttl{display:flex;align-items:center;gap:7px;font-weight:700;font-size:13px}
-  .coltok{color:var(--muted);font-size:11px;margin-top:3px;font-variant-numeric:tabular-nums}
-  .colbody{padding:12px;overflow:auto;max-height:66vh}
-  .sc{white-space:pre-wrap;font-size:13px;line-height:1.62;overflow-wrap:anywhere}
-  .step{display:flex;gap:10px;margin:0 0 12px} .step:last-child{margin-bottom:0} .step .sc{flex:1;min-width:0}
-  .sn{flex:none;width:21px;height:21px;border-radius:50%;background:var(--track);color:var(--muted);font-size:11px;font-weight:700;
+  .terr{display:flex;align-items:center;gap:6px;font-size:11px;margin-top:9px;color:var(--ink2);font-variant-numeric:tabular-nums}
+  .cols{display:flex;gap:14px;overflow-x:auto;margin-top:14px;padding-bottom:12px;scroll-snap-type:x proximity}
+  .col{flex:0 0 302px;border:1px solid var(--border);border-radius:14px;background:var(--raise);display:flex;flex-direction:column;min-width:0;scroll-snap-align:start}
+  .col.wide{flex-basis:456px}
+  .colhead{padding:13px 15px;border-bottom:1px solid var(--hair);position:sticky;top:0;background:var(--raise);border-radius:14px 14px 0 0;z-index:1}
+  .colttl{display:flex;align-items:center;gap:8px;font-weight:600;font-size:13px}
+  .coltok{color:var(--muted);font-size:11px;margin-top:4px;font-variant-numeric:tabular-nums}
+  .colbody{padding:15px;overflow:auto;max-height:66vh}
+  .sc{white-space:pre-wrap;font-size:13px;line-height:1.68;overflow-wrap:anywhere}
+  .step{display:flex;gap:12px;margin:0 0 15px} .step:last-child{margin-bottom:0} .step .sc{flex:1;min-width:0}
+  .sn{flex:none;width:22px;height:22px;border-radius:50%;background:var(--chip);color:var(--muted);font-size:11px;font-weight:600;
     display:flex;align-items:center;justify-content:center;font-variant-numeric:tabular-nums;margin-top:1px}
-  .memtext{white-space:pre-wrap;font-size:12.5px;line-height:1.55;overflow-wrap:anywhere}
-  .katex{font-size:1.03em} .katex-display{margin:.5em 0;overflow-x:auto;overflow-y:hidden}
-  .foot{color:var(--muted);font-size:12.5px;margin-top:30px;border-top:1px solid var(--border);padding-top:16px}
+  .memtext{white-space:pre-wrap;font-size:12.5px;line-height:1.62;overflow-wrap:anywhere}
+  .katex{font-size:1.02em} .katex-display{margin:.5em 0;overflow-x:auto;overflow-y:hidden}
+  .foot{color:var(--muted);font-size:12.5px;margin-top:46px;border-top:1px solid var(--hair);padding-top:18px;max-width:82ch}
 </style>
+<link rel="preconnect" href="https://fonts.googleapis.com">
+<link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
+<link href="https://fonts.googleapis.com/css2?family=Inter:wght@400;500;600;700&display=swap" rel="stylesheet">
 <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/katex@0.16.11/dist/katex.min.css" crossorigin="anonymous">
 <script defer src="https://cdn.jsdelivr.net/npm/katex@0.16.11/dist/katex.min.js" crossorigin="anonymous"></script>
 <script defer src="https://cdn.jsdelivr.net/npm/katex@0.16.11/dist/contrib/auto-render.min.js" crossorigin="anonymous"></script>