/* Lucide / VitePress reference: light surfaces, compact navigation and a split hero.
   VPButton and VPFeature come from the downloaded VitePress 1.6.4 styles. */
:root {
  --baseline: #a5adb9;   /* the ROS/Gazebo-files bars and legend */
  --vp-c-bg-alt: var(--tint);
  --vp-c-bg-soft: var(--tint);
  --vp-c-default-soft: #fff;
  --vp-c-text-1: var(--ink);
  --vp-c-text-2: var(--muted);
  --vp-c-brand: var(--accent);
  --vp-c-brand-1: var(--accent);
  --vp-button-brand-border: transparent;
  --vp-button-brand-text: #fff;
  --vp-button-brand-bg: var(--accent);
  --vp-button-brand-hover-border: transparent;
  --vp-button-brand-hover-text: #fff;
  --vp-button-brand-hover-bg: #285e9f;
  --vp-button-brand-active-border: transparent;
  --vp-button-brand-active-text: #fff;
  --vp-button-brand-active-bg: #173d70;
  --vp-button-alt-border: transparent;
  --vp-button-alt-text: var(--ink);
  --vp-button-alt-bg: #ebebef;
  --vp-button-alt-hover-border: transparent;
  --vp-button-alt-hover-text: var(--ink);
  --vp-button-alt-hover-bg: #e4e4e9;
  --vp-button-alt-active-border: transparent;
  --vp-button-alt-active-text: var(--ink);
  --vp-button-alt-active-bg: #dddde3;
}
[id] { scroll-margin-top: 88px; }
.nav { position: sticky; top: 0; z-index: 20; background: rgb(255 255 255 / .96); border-bottom: 1px solid var(--line); }
.nav .wrap { display: flex; align-items: center; justify-content: space-between; gap: 20px; min-height: 64px; }
.site-brand { display: flex; align-items: center; gap: 10px; font-size: 21px; font-weight: 600; color: var(--ink); text-decoration: none; }
.site-brand .ico { width: 28px; height: 28px; color: var(--accent); }
.nav-actions { display: flex; align-items: center; gap: 28px; }
.nav-link { display: inline-flex; align-items: center; min-height: 44px; color: var(--ink); font-size: 14px; font-weight: 500; text-decoration: none; }
.nav-link:hover { color: var(--accent); }
.hero { padding-block: 48px; }
.hero-layout { display: grid; grid-template-columns: minmax(0, 1.1fr) minmax(0, 1fr); align-items: center; gap: 36px; }
.hero-copy { display: grid; justify-items: start; gap: 16px; min-width: 0; }
.hero-badges { display: flex; flex-wrap: wrap; gap: 12px; }
.hero-badges .badge { display: inline-flex; align-items: center; gap: 8px; padding: 4px 10px; font-size: 14px; }
.hero-badges .badge-launch { color: var(--accent); font-weight: 500; }
.hero h1 { font-size: clamp(2rem, 4vw, 3rem); line-height: 1.14; font-weight: 700; letter-spacing: -.035em; }
.hero h1 span { color: var(--accent); }
.hero .lede { max-width: 62ch; font-size: 17px; line-height: 1.7; color: var(--muted); text-align: left; }
.hero .lede b { color: var(--ink); font-weight: 600; }
.hero .cta { margin-top: 4px; }
.btn.VPButton { display: inline-flex; align-items: center; justify-content: center; gap: 8px; }
.btn:focus-visible, .VPFeature:focus-visible, .nav-link:focus-visible, .site-brand:focus-visible, .badge:focus-visible { outline: 2px solid var(--accent); outline-offset: 4px; }
.hero-demo { min-width: 0; }
/* Trim the still's outer whitespace; retain the existing Magic UI video shadow. */
.hero-demo .hvd img { aspect-ratio: 3 / 2; object-fit: cover; border: 0; border-radius: 12px; }
.hero-demo .hvd .ring { width: 88px; height: 88px; }
.hero-demo .hvd .disc { width: 60px; height: 60px; background: var(--accent); box-shadow: none; }
.hero-demo .hvd .disc svg { width: 26px; height: 26px; filter: none; }
.feature-grid { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 16px; margin-top: 32px; }
.VPFeature { color: var(--ink); text-decoration: none; }
.VPFeature .icon .ico { width: 24px; height: 24px; color: var(--accent); }
.VPFeature .title { letter-spacing: 0; }
.VPFeature .details { font-weight: 400; }
@media (max-width: 959px) {
  .hero { padding-block: 32px 40px; }
  .hero-layout { gap: 28px; }
  .feature-grid { margin-top: 28px; }
}
@media (max-width: 759px) {
  .hero-layout { grid-template-columns: minmax(0, 1fr); gap: 24px; }
  .hero-copy { justify-items: center; text-align: center; }
  .hero .cta { justify-content: center; }
  .hero-badges { justify-content: center; }
  .hero-demo { width: 100%; max-width: 560px; margin-inline: auto; }
  .feature-grid { grid-template-columns: minmax(0, 1fr); }
  .feature-grid .box { display: grid; grid-template-columns: 48px minmax(0, 1fr); gap: 4px 16px; padding: 20px; }
  .feature-grid .icon { grid-row: 1 / 3; margin: 0; }
  .feature-grid .details { padding-top: 0; }
  section.block { padding-block: 48px; }
}
@media (max-width: 420px) {
  .wrap { padding-inline: 20px; }
  .nav .wrap { gap: 12px; padding-inline: 16px; }
  .site-brand { gap: 6px; font-size: 18px; }
  .site-brand .ico { width: 24px; height: 24px; }
  .nav-actions { gap: 16px; }
  .hero .cta { gap: 8px; }
  .hero .VPButton.medium { padding-inline: 16px; }
}
@media (prefers-reduced-motion: reduce) {
  .VPButton, .VPFeature, .VPFeature .icon, .hero-badges .badge { transition: none; }
}
/* Lucide SVGs (ISC), unmodified. Keep mask and URL variables in this stylesheet:
   relative URLs resolve where var(--icon) is used, not where it is declared. */
.ico { display: inline-block; width: 18px; height: 18px; flex: none; background-color: currentColor; -webkit-mask: var(--icon) center / contain no-repeat; mask: var(--icon) center / contain no-repeat; }
.ico-bot { --icon: url(icons/bot.svg); }
.ico-studio { --icon: url(icons/app-window.svg); }
.ico-docs { --icon: url(icons/book-open.svg); }
.ico-video { --icon: url(icons/video.svg); }
.ico-cite { --icon: url(icons/file-text.svg); }
.ico-community { --icon: url(icons/users.svg); }
.ico-results { --icon: url(icons/chart-column.svg); }
.ico-x { --icon: url(icons/x.svg); }
.ico-rocket { --icon: url(icons/rocket.svg); }
.ico-arrow { --icon: url(icons/arrow-right.svg); }
.ico-program { --icon: url(icons/file-code-2.svg); }
.ico-compile { --icon: url(icons/file-check-2.svg); }
.ico-copy { --icon: url(icons/copy.svg); }
.ico-part { --icon: url(icons/package-plus.svg); }
.ico-bug { --icon: url(icons/bug.svg); }
/* Section headings sit centred, as on lucide.dev; a phrase in the hero title's accent carries each one's point. */
.head.center { margin: 0 auto; max-width: none; justify-items: center; text-align: center; }
.head.center h2 { font-size: clamp(1.6rem, 3vw, 2.25rem); line-height: 1.2; font-weight: 700; letter-spacing: -.03em; }
.head.center h2 span { color: var(--accent); }
.head.center p { color: var(--muted); }
/* MobileDSL: Magic UI's Terminal (magicui.design, MIT) in plain CSS, a rounded window whose bar holds three dots,
   given the hero video card's shadow. */
.terminal { display: flex; flex-direction: column; min-width: 0; border: 1px solid var(--line); border-radius: 12px; background: #fff; overflow: hidden; box-shadow: 0 10px 15px -3px rgb(0 0 0 / .1), 0 4px 6px -4px rgb(0 0 0 / .1); }
.terminal .bar { display: flex; gap: 8px; padding: 16px; border-bottom: 1px solid var(--line); }
.terminal .bar i { width: 8px; height: 8px; border-radius: 50%; background: #ef4444; }
.terminal .bar i:nth-child(2) { background: #eab308; }
.terminal .bar i:nth-child(3) { background: #22c55e; }
.terminal pre.code { flex: 1; padding: 18px 20px; font-size: 13px; line-height: 1.85; overflow-x: auto; }
@media (max-width: 600px) { .terminal pre.code { font-size: 11px; padding: 14px; } }
/* The robot stands on Magic UI's Dot Pattern (magicui.design, MIT), which fades out from the centre. */
.fig3d .stage::before { content: ""; position: absolute; inset: 0; background-image: radial-gradient(circle, rgb(163 163 163 / .8) 1px, transparent 1px); background-size: 16px 16px; -webkit-mask-image: radial-gradient(closest-side, #000 35%, transparent); mask-image: radial-gradient(closest-side, #000 35%, transparent); pointer-events: none; }
.fig3d canvas { position: relative; }
/* MobileDSL: the listing types itself; untyped text keeps its place, so the block never changes size. */
.coredsl .todo { visibility: hidden; }
.coredsl .caret { display: inline-block; width: 0; height: 1.15em; margin-right: -2px; border-left: 2px solid var(--accent); vertical-align: text-bottom; animation: caret-blink 1s steps(1) infinite; }
@keyframes caret-blink { 50% { border-left-color: transparent; } }
@media (prefers-reduced-motion: reduce) { .coredsl .caret { animation: none; } }
/* Community: the hero's feature cards, four across. */
.feature-grid.community-grid { grid-template-columns: repeat(4, minmax(0, 1fr)); margin-top: 0; }
@media (min-width: 760px) and (max-width: 959px) { .feature-grid.community-grid { grid-template-columns: repeat(2, minmax(0, 1fr)); } }
@media (max-width: 759px) { .feature-grid.community-grid { grid-template-columns: minmax(0, 1fr); } }
/* Benchmark: both results side by side under one legend; the bars carry their values. */
.results-figure { display: grid; gap: 14px; }
.legend { display: flex; flex-wrap: wrap; justify-content: center; gap: 6px 20px; margin: 0; padding: 0; list-style: none; font-size: .9rem; color: var(--text); }
.legend li { display: inline-flex; align-items: center; gap: 8px; }
.legend li::before { content: ""; width: 12px; height: 12px; border-radius: 3px; background: var(--accent); }
.legend .legend-baseline::before { background: var(--baseline); }
.chart-pair { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 16px; }
/* Each chart sits in the hero cards' soft box. */
.chart-card { padding: 20px 20px 12px; border-radius: 12px; background: var(--tint); }
.chart-pair > * { min-width: 0; }
.chart-title { margin: 0 0 4px; font-size: .95rem; font-weight: 600; color: var(--ink); }
.chart-container { position: relative; height: 220px; }
.results-figure figcaption { margin-top: 0; }
@media (max-width: 900px) { .chart-pair { grid-template-columns: minmax(0, 1fr); } }
/* Physical robots: the three runs side by side at a modest size. */
.demos { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 16px; }
.demos figcaption { text-align: center; }
.demos > * { min-width: 0; }
@media (max-width: 640px) { .demos { grid-template-columns: minmax(0, 1fr); } }
/* The paper is here for its citation, so the section stays small. */
#paper { padding-block: 48px; }
#paper .stack { gap: 14px; justify-items: center; }
#paper .eyebrow { color: var(--accent); }
.citation { display: grid; gap: 12px; justify-items: center; width: 100%; max-width: 760px; }
.citation .markdown-body { width: 100%; min-width: 0; }
.citation .markdown-body pre { margin: 0; font-family: var(--mono); font-size: .85rem; line-height: 1.65; overflow-x: auto; }