chore: upgrade Infima to alpha.39

[lex111]

Pre-flight checklist

• I have read the Contributing Guidelines on pull requests.
• If this is a code change: I have written unit tests and/or added dogfooding pages to fully verify the new behavior.
• If this is a new API or substantial change: the PR has an accompanying issue (closes #0000) and the maintainers have approved on my working plan.

Motivation

Many small changes, also slightly adjusted colors for Prism theme, and collapse/expand button bg made less contrast for dark mode.

Test Plan

Preview

[github-actions]

Size Change: -2.3 kB (0%)

Total Size: 804 kB

Filename	Size	Change
website/build/assets/css/styles.********.css	105 kB	-2.38 kB (-2%)
website/build/assets/js/main.********.js	610 kB	+30 B (0%)
website/build/index.html	38.8 kB	+46 B (0%)

ℹ️ View Unchanged

Filename	Size
website/.docusaurus/globalData.json	50.7 kB

_{compressed-size-action}

[Josh-Cena]

CSS is reordered. @slorber I think we should only keep one selector from Infima?

[netlify]

✅ [V2]

Name	Link
🔨 Latest commit	184edd6
🔍 Latest deploy log	https://app.netlify.com/sites/docusaurus-2/deploys/6272785dc73ba4000bae36de
😎 Deploy Preview	https://deploy-preview-7306--docusaurus-2.netlify.app
📱 Preview on mobile	Toggle QR Code... Use your smartphone camera to open QR code link.

---

To edit notification comments on pull requests, go to your Netlify site settings.

[github-actions]

⚡️ Lighthouse report for the changes in this PR

URL	Performance	Accessibility	Best Practices	SEO	PWA	Report
/	🟠 59	🟢 100	🟢 92	🟢 100	🟢 90	View report
/docs/	🟠 67	🟢 94	🟢 92	🟢 90	🟢 90	View report

[Josh-Cena]

2.2kB reduction is pretty impressive 👍

If we have the purge CSS plugin, we can probably optimize it further

[Josh-Cena]

Oh, haha, the h5 issue is long-standing. We should probably lower the accessibility requirement for now. WDYT?

[Josh-Cena]

This looks cool 😀

[lex111]

WDYT?

Yes, that's why I created PR #7152 to fix this

This looks cool

I like it too, I think we can shorten first column by using just the path as URL text.

[Josh-Cena]

shorten first column by using just the path as URL text.

Agree. Want to do that right now? Ideally, we can use / and /docs/ as the text, and the full URL as the link. (Edited the lighthouse comment to illustrate what I mean)

[slorber]

👍 LGTM

Anything left to change?

[slorber]

👍 LGTM

Anything left to change?

[slorber]

👍 agree the lighthouse check is nice and using pathname is better

what about also adding blog list + blog entry here? If it's not expensive it's worth checking multiple pages

[lex111]

Agree. Want to do that right now?

Yes, that's what I meant, let's do it in a separate PR.

This PR is ready to merge, I guess.

[slorber]

CSS is reordered. @slorber I think we should only keep one selector from Infima?

I guess it's fine to keep it for now. We see when unexpected order changes happen inside Infima, even if we can safely ignore those