dev
Fix docs UI bugs: tabs, redirect, docs-libs, colors grid, navbar link (#2830)
Add quality gates: Prettier for Astro, astro check for shared, unused SCSS variable lint (#2749)
Render Modal as real markup; drain scripts via CaptureScript (#2742)