/* The public pages: home, features, benchmarks and the reading pages. Dark only, system
   fonts, nothing loaded from anyone else. */
:root {
  --bg: #0b0e14; --band: #0f131b; --panel: #131824; --line: #1c2230; --edge: #222a38; --rule: #2c3546;
  --text: #e6e9ef; --soft: #b4bdca; --muted: #9aa4b2; --faint: #8a94a3;
  --accent: #2563eb; --link: #8fb0f5; --link-hover: #c3d4fa; --tint: #172340; --tint-edge: #2b4170;
  --yes: #6fdc9c; --yes-bg: #13301f; --yes-edge: #1f5236;
  --partial: #f3bb5c; --partial-bg: #33260f; --partial-edge: #5a4318;
  --mono: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  color-scheme: dark;
}
* { box-sizing: border-box; }
body { margin: 0; background: var(--bg); color: var(--text); font: 16px/1.5 system-ui, -apple-system, "Segoe UI", Roboto, sans-serif; }
a { color: var(--link); } a:hover { color: var(--link-hover); }
.wrap { max-width: 1200px; margin: 0 auto; padding-left: 24px; padding-right: 24px; }
.band { background: var(--band); border-top: 1px solid var(--line); border-bottom: 1px solid var(--line); }

/* Top bar */
header { border-bottom: 1px solid var(--line); }
nav.top { display: flex; flex-wrap: wrap; align-items: center; gap: 16px 32px; padding-top: 18px; padding-bottom: 18px; }
.brand { display: flex; align-items: center; gap: 10px; color: var(--text); text-decoration: none; font-weight: 700; font-size: 18px; }
.brand:hover { color: var(--text); }
.logo { display: grid; gap: 3px; width: 22px; padding: 5px; border-radius: 7px; background: var(--accent); }
.logo i { display: block; height: 3px; border-radius: 2px; background: #fff; }
.logo i:nth-child(1) { width: 60%; } .logo i:nth-child(2) { width: 90%; margin-left: 10%; } .logo i:nth-child(3) { width: 70%; margin-left: 5%; }
.logo.big { width: 26px; padding: 7px; border-radius: 9px; }
.beta {
  display: inline-block; margin-left: 4px; padding: 2px 6px 1px; border: 1px solid rgba(243, 187, 92, .5); border-radius: 4px;
  color: #d9a957; font: 600 10px/1.3 var(--mono); letter-spacing: 1.5px; text-transform: uppercase; transform: rotate(-3deg);
}
.links { display: flex; flex-wrap: wrap; gap: 8px 28px; flex: 1 1 auto; font-size: 15px; }
.links a, .quiet { color: var(--soft); text-decoration: none; }
.links a[aria-current] { color: var(--text); font-weight: 600; }
.actions { display: flex; gap: 12px; align-items: center; font-size: 15px; }

/* On a phone the links fold into a menu opened from the logo. */
header { position: relative; }
.menu { display: none; }
.menu summary { display: flex; align-items: center; gap: 6px; list-style: none; cursor: pointer; border-radius: 8px; }
.menu summary::-webkit-details-marker { display: none; }
.menu summary:focus-visible { outline: 2px solid var(--link); outline-offset: 3px; }
.caret { width: 7px; height: 7px; border-right: 2px solid var(--muted); border-bottom: 2px solid var(--muted); transform: rotate(45deg) translateY(-2px); transition: transform .15s; }
.menu[open] .caret { transform: rotate(-135deg) translate(-2px, 0); }
.menu-panel { position: absolute; left: 0; right: 0; top: 100%; z-index: 5; display: grid; padding: 8px 16px 14px; background: var(--band); border-bottom: 1px solid var(--line); box-shadow: 0 18px 40px rgba(0, 0, 0, .45); }
.menu-panel a { padding: 13px 4px; color: var(--text); text-decoration: none; font-size: 16px; border-bottom: 1px solid var(--line); }
.menu-panel a:last-child { border-bottom: 0; }
.menu-panel a[aria-current] { color: var(--link); font-weight: 600; }

/* Buttons */
.btn { display: inline-block; text-decoration: none; font-weight: 600; border-radius: 10px; padding: 14px 23px; font-size: 17px; }
.btn.small { font-size: 15px; padding: 11px 18px; border-radius: 8px; }
.btn.primary { background: var(--accent); color: #fff; }
.btn.primary:hover { background: #1d4fd0; color: #fff; }
.btn.outline { color: var(--text); border: 1px solid var(--rule); }
.btn.outline:hover { border-color: var(--link); color: var(--text); }
.btn.white { background: #fff; color: #1d2330; }
.btn.white:hover { background: #e9edf3; color: #1d2330; }

/* Hero */
.hero { display: flex; flex-wrap: wrap; gap: 56px; align-items: center; padding-top: 88px; padding-bottom: 72px; }
.hero > div { flex: 1 1 440px; min-width: 0; }
.hero > figure { flex: 1 1 520px; min-width: 0; margin: 0; border-radius: 14px; overflow: hidden; border: 1px solid var(--rule); box-shadow: 0 30px 80px rgba(0, 0, 0, .55); }
.hero figure img { display: block; width: 100%; height: auto; }
.pill { display: inline-block; font-size: 13px; font-weight: 600; color: var(--link); background: #131c30; border: 1px solid #22335a; padding: 6px 12px; border-radius: 999px; }
h1 { font-size: 56px; line-height: 1.04; letter-spacing: -1.5px; font-weight: 800; margin: 22px 0 20px; }
.lead { font-size: 20px; line-height: 1.55; color: var(--soft); margin: 0 0 32px; max-width: 540px; }
.row { display: flex; flex-wrap: wrap; gap: 12px; }
.note { font-size: 14px; color: var(--muted); margin: 16px 0 0; }

/* Built for production */
.strip { display: grid; grid-template-columns: repeat(auto-fit, minmax(240px, 1fr)); gap: 1px; background: var(--line); border: 1px solid var(--line); border-radius: 14px; overflow: hidden; margin-bottom: 72px; }
.strip a { display: block; background: var(--band); padding: 22px 24px; text-decoration: none; color: var(--text); }
.strip a:hover { background: #121722; color: var(--text); }
.strip b { display: block; font-size: 16px; margin-bottom: 6px; }
.strip span { display: block; font-size: 14px; color: var(--muted); }
sup { color: var(--link); margin-left: 2px; }

/* Sections */
section.pad { padding-top: 88px; padding-bottom: 88px; }
h2 { font-size: 40px; letter-spacing: -.8px; line-height: 1.15; margin: 0 0 14px; font-weight: 700; }
.eyebrow { font-size: 14px; font-weight: 600; color: var(--link); text-transform: uppercase; letter-spacing: 1.2px; margin-bottom: 12px; }
.sub { font-size: 18px; color: var(--soft); margin: 0; line-height: 1.55; }
.cards { display: grid; grid-template-columns: repeat(auto-fit, minmax(260px, 1fr)); gap: 20px; }
.card { background: var(--panel); border: 1px solid var(--edge); border-radius: 14px; padding: 26px; }
a.card { display: block; color: var(--text); text-decoration: none; }
a.card:hover { border-color: var(--link); color: var(--text); }
.card h3 { font-size: 18px; margin: 0 0 8px; }
.card p { font-size: 15px; color: var(--soft); line-height: 1.6; margin: 0; }
.callout { margin-top: 28px; background: var(--tint); border: 1px solid var(--tint-edge); border-radius: 14px; padding: 28px; display: flex; flex-wrap: wrap; gap: 24px 40px; align-items: center; }
.callout > div:first-child { flex: 1 1 420px; min-width: 0; }
.callout h3 { font-size: 22px; margin: 0 0 6px; }
.callout p { font-size: 16px; color: #c3cbd8; margin: 0; }
.tags { display: flex; flex-wrap: wrap; gap: 8px; flex: 1 1 360px; min-width: 0; }
.tag { font-size: 13px; font-weight: 600; padding: 6px 10px; border-radius: 6px; background: var(--yes-bg); color: var(--yes); border: 1px solid var(--yes-edge); }
.results .stats { display: grid; grid-template-columns: repeat(auto-fit, minmax(150px, 1fr)); gap: 12px 28px; flex: 1 1 480px; min-width: 0; }
.results .stats b { display: block; font-size: 26px; letter-spacing: -.4px; color: var(--text); font-variant-numeric: tabular-nums; }
.results .stats span { display: block; font-size: 13.5px; line-height: 1.45; color: #c3cbd8; margin-top: 2px; }
.split { display: flex; flex-wrap: wrap; gap: 48px; }
.split > div:first-child { flex: 1 1 360px; min-width: 0; }
.facts { flex: 1.3 1 520px; min-width: 0; display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 24px 32px; font-size: 15px; line-height: 1.6; }
.facts b { display: block; margin-bottom: 4px; }
.facts p { color: var(--soft); margin: 0; }
.footnote { flex: 1 1 100%; font-size: 13px; color: var(--muted); margin: 0; padding-top: 20px; border-top: 1px solid var(--line); }
.center { text-align: center; }
.center .sub { margin: 0 auto 30px; max-width: 600px; }
.free { font-size: 15px; color: var(--yes); font-weight: 600; margin: 20px 0 0; }

footer { border-top: 1px solid var(--line); }
footer .wrap { display: flex; flex-wrap: wrap; gap: 12px 28px; padding-top: 28px; padding-bottom: 28px; font-size: 14px; color: var(--muted); }
footer a { color: var(--muted); }
footer .grow { flex: 1 1 auto; }

/* Sign in: a dialog over the page, opened by #signin. */
.modal { display: none; position: fixed; inset: 0; z-index: 10; background: rgba(6, 9, 15, .35); backdrop-filter: blur(2px); -webkit-backdrop-filter: blur(2px);
         align-items: center; justify-content: center; padding: 24px 16px; }
.modal:target { display: flex; }
.modal .shade { position: absolute; inset: 0; }
.dialog { position: relative; width: 100%; max-width: 440px; background: #141922; border: 1px solid var(--rule); border-radius: 18px; padding: 36px 36px 28px;
          box-shadow: 0 30px 90px rgba(0, 0, 0, .6), 0 0 0 1px rgba(91, 141, 239, .08); }
.dialog::before { content: ""; position: absolute; top: -1px; left: 36px; right: 36px; height: 2px; border-radius: 2px; background: #5b8def; }
.dialog-head { display: flex; align-items: center; gap: 12px; margin: 0 40px 14px 0; }
.dialog h2 { font-size: 20px; letter-spacing: -.2px; margin: 0; }
.dialog .sub { font-size: 15px; margin: 0 0 26px; }
.close { position: absolute; top: 14px; right: 14px; width: 40px; height: 40px; border-radius: 10px; display: flex; align-items: center; justify-content: center; color: var(--muted); }
.close:hover { background: #1d2330; color: var(--text); }
.google { display: flex; align-items: center; justify-content: center; gap: 10px; min-height: 48px; border-radius: 11px; background: #fff; color: #1d2330; text-decoration: none; font-weight: 600; font-size: 15px; }
.google:hover { background: #e9edf3; color: #1d2330; }
/* The same size as the button above it, with a field and a button inside: dark, so that the field does not read as a second button. */
.email-box { display: flex; align-items: center; gap: 6px; min-height: 48px; box-sizing: border-box; margin-top: 12px; padding: 0 5px 0 14px; border: 1px solid var(--rule); border-radius: 11px; background: var(--bg); color-scheme: dark; }
.email-box[hidden] { display: none; }
.email-box:focus-within { outline: 2px solid var(--link); outline-offset: 2px; }
.email-box input { flex: 1 1 0; min-width: 0; height: 46px; padding: 0; border: 0; outline: 0; background: none; color: var(--text); font: inherit; font-size: 15px; }
.email-box input::placeholder { color: var(--muted); }
.email-box input:-webkit-autofill { -webkit-text-fill-color: var(--text); caret-color: var(--text); box-shadow: 0 0 0 40px var(--bg) inset; }
.email-box button { flex: none; height: 38px; padding: 0 12px; border: 0; border-radius: 8px; background: var(--accent); color: #fff; font: inherit; font-weight: 600; font-size: 14px; cursor: pointer; }
.email-box button:hover { background: #1d4fc4; }
.email-note { font-size: 14px; color: var(--soft); margin: 12px 0 0; overflow-wrap: anywhere; }
.email-note::first-letter { text-transform: uppercase; }
.email-links { display: flex; justify-content: center; gap: 24px; margin: 10px 0 0; }
.email-links[hidden] { display: none; }
.email-links button { padding: 0; border: 0; background: none; color: var(--link); font: inherit; font-size: 14px; cursor: pointer; }
.email-links button:hover { color: var(--link-hover); text-decoration: underline; }
.accept { font-size: 12px; color: var(--muted); margin: 26px 0 0; padding-top: 18px; border-top: 1px solid #252d3b; text-align: center; }

/* Features */
.legend { display: flex; flex-wrap: wrap; gap: 10px 24px; font-size: 14px; color: var(--soft); margin-bottom: 16px; }
.legend > span { display: flex; align-items: center; gap: 8px; }
.v { display: inline-block; min-width: 54px; text-align: center; font-weight: 600; font-size: 13px; padding: 3px 0; border-radius: 6px; }
.v.y { background: var(--yes-bg); color: var(--yes); border: 1px solid var(--yes-edge); }
.v.p { background: var(--partial-bg); color: var(--partial); border: 1px solid var(--partial-edge); }
.v.n { color: var(--faint); border: 1px solid var(--rule); }
.v.u { color: var(--soft); border: 1px dashed #4a5568; }
/* The features comparison table; the benchmarks page styles its own. */
.scroll { overflow-x: auto; border: 1px solid var(--edge); border-radius: 14px; background: var(--panel); }
.scroll table { border-collapse: collapse; font-size: 14px; }
.scroll th, .scroll td { border-bottom: 1px solid var(--line); }
.scroll thead th { padding: 16px 10px; font-size: 14px; font-weight: 700; text-align: center; width: var(--other-w); border-bottom-color: var(--edge); }
.scroll thead th small { display: block; font-size: 12px; font-weight: 400; color: var(--faint); margin-top: 2px; }
.scroll thead th:first-child { text-align: left; padding: 16px 18px; font-size: 13px; color: var(--muted); font-weight: 600; }
.scroll tbody th { text-align: left; padding: 12px 18px; font-weight: 500; }
.scroll tbody th code { display: block; font-size: 12px; color: var(--faint); font-weight: 400; font-family: var(--mono); margin-top: 2px; }
.scroll tbody th[colspan] { padding: 22px 18px 8px; font-size: 12px; text-transform: uppercase; letter-spacing: 1px; color: var(--link); font-weight: 700; border-bottom-color: var(--edge); }
.scroll td { text-align: center; padding: 12px 10px; }
/* The feature and Autoplan Studio columns stay put while the other planners
   scroll past them, so every planner is read against ours. */
/* Fixed widths, so the frozen columns sit exactly where their offsets say,
   however wide the window. */
.scroll table { --feature-w: 250px; --ours-w: 150px; --other-w: 112px; table-layout: fixed; width: calc(var(--feature-w) + var(--ours-w) + 13 * var(--other-w)); }
.scroll thead th:first-child, .scroll tbody th:not([colspan]) { width: var(--feature-w); min-width: var(--feature-w); max-width: var(--feature-w); }
.scroll thead th:first-child, .scroll tbody th:not([colspan]) { position: sticky; left: 0; z-index: 2; background: var(--panel); }
.scroll tbody th[colspan] span { position: sticky; left: 18px; }
.scroll thead th:nth-child(2), .scroll td:nth-of-type(1) {
  position: sticky; left: var(--feature-w); z-index: 1; width: var(--ours-w); min-width: var(--ours-w); max-width: var(--ours-w);
  background: var(--tint); box-shadow: 6px 0 10px -6px rgba(0, 0, 0, .6);
}
.small-print { font-size: 13px; color: var(--muted); margin: 16px 0 0; max-width: 900px; }

/* The reading pages: AI Planning, the PDDL guide, the planners. */
.doc { padding-top: 28px; padding-bottom: 88px; }
.crumbs { font-size: 14px; color: var(--muted); margin-bottom: 28px; }
.crumbs a { color: var(--muted); }
.doc-grid { display: grid; grid-template-columns: 220px minmax(0, 1fr); gap: 56px; align-items: start; }
.doc-grid > article:only-child { grid-column: 1 / -1; }
.side { position: sticky; top: 24px; display: grid; gap: 2px; font-size: 14.5px; max-height: calc(100vh - 48px); overflow-y: auto; }
.side a { padding: 6px 12px; border-radius: 8px; color: var(--soft); text-decoration: none; }
.side a:hover { background: var(--panel); color: var(--text); }
.side a[aria-current] { background: var(--tint); color: var(--text); font-weight: 600; }
.doc article { min-width: 0; max-width: 820px; font-size: 17px; line-height: 1.65; }
.doc h1 { font-size: 44px; letter-spacing: -1px; line-height: 1.1; margin: 0 0 18px; }
.doc h2 { font-size: 28px; letter-spacing: -.4px; line-height: 1.2; margin: 44px 0 12px; scroll-margin-top: 16px; }
.doc h3 { font-size: 19px; line-height: 1.3; margin: 30px 0 8px; scroll-margin-top: 16px; }
.doc p, .doc ul, .doc ol { margin: 0 0 16px; color: var(--soft); }
.doc ul, .doc ol { padding-left: 22px; }
.doc li { margin-bottom: 6px; }
.doc strong, .doc b { color: var(--text); }
.doc .lede { font-size: 20px; line-height: 1.55; }
.doc code { font-family: var(--mono); font-size: .88em; overflow-wrap: anywhere; }
.doc figure.code { margin: 0 0 20px; border: 1px solid var(--edge); border-radius: 12px; background: var(--panel); overflow: hidden; }
.doc figure.code figcaption { display: flex; align-items: center; justify-content: space-between; gap: 12px; padding: 6px 8px 6px 14px; font: 12.5px/1.4 var(--mono); color: var(--muted); border-bottom: 1px solid var(--edge); overflow-wrap: anywhere; }
.doc pre { margin: 0; padding: 14px; overflow-x: auto; font: 13.5px/1.55 var(--mono); color: var(--text); tab-size: 2; }
.doc pre code { font-size: inherit; overflow-wrap: normal; }
.doc pre:focus-visible { outline: 2px solid var(--link); outline-offset: -2px; }
.copy { flex: none; padding: 3px 10px; font: inherit; color: var(--soft); background: none; border: 1px solid var(--rule); border-radius: 6px; cursor: pointer; }
.copy:hover { border-color: var(--link); color: var(--text); }
.doc .tablewrap { overflow-x: auto; margin: 0 0 12px; border: 1px solid var(--edge); border-radius: 12px; background: var(--panel); }
.doc table { border-collapse: collapse; width: 100%; font-size: 14.5px; font-variant-numeric: tabular-nums; }
.doc th, .doc td { padding: 9px 12px; text-align: right; vertical-align: top; border-bottom: 1px solid var(--line); }
.doc th { color: var(--muted); font-size: 12.5px; font-weight: 600; }
.doc th.l, .doc td.l { text-align: left; }
.doc tbody tr:last-child td { border-bottom: 0; }
.doc .how { font-size: 14px; color: var(--muted); }
.doc .facts-list { display: grid; grid-template-columns: max-content minmax(0, 1fr); gap: 6px 20px; margin: 0 0 24px; padding: 16px 18px; font-size: 15px; background: var(--panel); border: 1px solid var(--edge); border-radius: 12px; }
.doc .facts-list dt { color: var(--muted); }
.doc .facts-list dd { margin: 0; color: var(--text); min-width: 0; }
.doc .refs { font-size: 15px; }
.doc .refs li { margin-bottom: 10px; }
.doc .note { margin: 0 0 20px; padding: 12px 16px; font-size: 15px; color: var(--soft); background: var(--tint); border: 1px solid var(--tint-edge); border-radius: 10px; }
.doc .cards { margin: 0 0 24px; }
.doc .card h3 { margin-top: 0; font-size: 17px; }
.doc .card p { margin: 0; }
.doc .card a { text-decoration: none; }

/* A narrower window: closer links, and when they wrap they wrap beside Sign in, not under it. */
@media (max-width: 1200px) {
  nav.top { flex-wrap: nowrap; gap: 16px; }
  .brand, .actions { flex: none; }
  .links { gap: 8px 16px; font-size: 14px; min-width: 0; }
}

@media (max-width: 720px) {
  nav.top { flex-wrap: nowrap; gap: 12px; padding-left: 16px; padding-right: 16px; }
  .menu { display: block; }
  .brand .logo, .links { display: none; }
  .actions { margin-left: auto; }
  h1 { font-size: 40px; } h2 { font-size: 30px; }
  .hero { padding-top: 48px; gap: 36px; }
  section.pad { padding-top: 56px; padding-bottom: 56px; }
  .facts { grid-template-columns: minmax(0, 1fr); }
  .dialog { padding: 28px 22px 22px; }
  .doc-grid { grid-template-columns: minmax(0, 1fr); gap: 20px; }
  .side { position: static; display: flex; gap: 6px; max-height: none; overflow-x: auto; padding-bottom: 6px; }
  .side a { flex: none; border: 1px solid var(--rule); }
  .doc h1 { font-size: 34px; } .doc h2 { font-size: 24px; }
  .doc article { font-size: 16px; } .doc .lede { font-size: 18px; }
  .doc .facts-list { grid-template-columns: minmax(0, 1fr); gap: 2px; } .doc .facts-list dd { margin-bottom: 8px; }
  .scroll table { --feature-w: 140px; --ours-w: 112px; --other-w: 104px; }
  tbody th:not([colspan]) { padding-left: 12px; padding-right: 8px; font-size: 13px; }
}