docs: switch mintlify theme and flatten top bar nav

[TheFactoriousDROID]

Summary

Polish the docs chrome so the header and sidebar feel intentional after the IA reorg. This switches the site to Mintlify's luma theme, moves the primary docs destinations into a flat top nav, and tightens the logo, header, and sidebar spacing.

What changed

• switched the docs theme from willow to luma
• replaced the old header links with a flat navbar.links top nav for:
  • Docs
  • Guides
  • Changelog
  • Leaderboards
  • API Reference
• adjusted custom CSS to:
  • enlarge and vertically center the top-left logo
  • tighten the spacing between logo, language selector, search, and top-nav links
  • remove the extra sidebar top gap so the left nav starts directly below the navbar
  • reduce the extra top padding above the page eyebrow/header
  • hide the legacy tab/dropdown header elements Mintlify still emits in this configuration

Risk / impact

Moderate. This is a site-wide docs chrome change, so it affects the global header, sidebar offset, and overall theme styling across the docs site, even though content and IA are unchanged.

How it was tested

• prettier --check docs/docs.json docs/style.css
• parsed docs/docs.json
• verified the local Mintlify preview on:
  • /welcome
  • /guides/power-user/setup-checklist
  • /enterprise
  • /changelog/release-notes
• spot-checked responsive header behavior around 1100px and 1440px

[factory-droid]

Droid finished @TheFactoriousDROID's task —— View job

---

[factory-droid]

No definite, reproducible bugs found in this diff based on the candidates reviewed; the noted items are conditional/brittleness concerns that depend on supported browser and locale-routing expectations. No inline comments submitted.

[factory-sagar]

Confirmed issue: /support page becomes orphaned after this merge

Verified against current origin/main:

Pre-merge access paths for /support:

• topbarLinks → "Support" → /support ✓
• English sidebar nav: not present

Post-merge access paths for /support:

• topbarLinks removed entirely
• New navbar.links (Docs / Guides / Changelog / Leaderboards / API Reference) does not include Support
• English sidebar nav: still not present
• No redirect points at it

docs/support.mdx still exists, so the page will render at /support but no navigation element will link to it. Users can only reach it via direct URL.

Reproduction:

git show origin/main:docs/docs.json | python3 -c "
import json, sys
d = json.load(sys.stdin)
pages = set()
def walk(o):
    if isinstance(o, str): pages.add(o)
    elif isinstance(o, list): [walk(v) for v in o]
    elif isinstance(o, dict): [walk(v) for v in o.values()]
walk(d['navigation']['languages'][0])
print('support in EN sidebar:', 'support' in pages)
"
# -> support in EN sidebar: False

Fix: either add "Support" to the new navbar.links, or add "support" to an appropriate sidebar group in the English nav.

Minor: stale CSS comment

docs/style.css:53 still reads /* Restore wider content layout for the current Mintlify Willow theme */ even though this PR switches the theme from willow to luma. Worth updating while the file is open.

Note (not blocking)

The new API Reference link targets /api-reference/computers/list-computers. This page is not in docs/docs.json's sidebar — it's presumably auto-generated from the OpenAPI spec at tabs[4].openapi. Worth a manual click-through in the Mintlify preview to confirm the URL resolves.

[TheFactoriousDROID]

@droid Review feedback has been addressed in the latest commit c891f33.

What changed:

• Restored Support in docs/docs.json navbar.links so /support is reachable again after the old top bar links were removed.
• Updated the stale Willow -> Luma theme comment in docs/style.css.

Validation:

• prettier --check docs/docs.json docs/style.css
• Parsed docs/docs.json and confirmed ("Support", "/support") is present in navbar.links

Please re-review the latest diff.

[factory-droid]

Droid finished @TheFactoriousDROID's task —— View job

---

LGTM — no high-confidence, actionable issues found in the docs.json/theme+navbar update or the accompanying CSS adjustments.