docs: add border to download stats

[mrlubos]

No description provided.

[bolt-new-by-stackblitz]

Run & review this pull request in StackBlitz Codeflow.

[vercel]

The latest updates on your projects. Learn more about Vercel for GitHub.

Project	Deployment	Actions	Updated (UTC)
web	Building	Preview, Comment	May 14, 2026 11:03am

[changeset-bot]

⚠️ No Changeset found

Latest commit: c0bdba9

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

This PR includes no changesets

When changesets are added to this PR, you'll see the packages that this PR includes changesets for and the associated semver types

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR

[pullfrog]

TL;DR — Adds a 2px left border to the .downloads line under the install command and bumps its padding-left from 2px to 10px so the text sits cleanly inside the new accent.

Key changes

• Accent the download stats line — adds border-left: 2px solid var(--vp-c-divider) and widens padding-left to 10px in the .downloads selector of InstallCommand.astro.

_{Summary ｜ 1 file ｜ 1 commit ｜ base: main ← docs/pass-7}

Before: download count rendered as a flat 13px gray line with a 2px left pad.
After: rendered with a vertical divider rule on its left edge, matching the --vp-c-divider accent used elsewhere on the codegen page.

--vp-c-divider is defined in both color modes in web/src/styles/custom.css and is the same token already used for the install button border on line 70 of this file, so the two elements visually relate. New padding (10px) matches the visual spacing convention used by other bordered blocks on the codegen page.

InstallCommand.astro

No new issues found.

  ^{｜ View workflow run ｜ Using Claude Opus ｜ 𝕏}