From 09247949333771abe3afd0e5ed238b38457a0f45 Mon Sep 17 00:00:00 2001
From: MONKE2525E <221282747+MONKE2525E@users.noreply.github.com>
Date: Thu, 15 Oct 2026 17:33:14 -0700
Subject: [PATCH 1/2] fix(web): Antigravity download progress uses the app's
 progress bar style

Replace the browser-default <progress> with the rounded track and fill used
by the context window meter, keeping its accessible name and values.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
---
 .../settings/ProviderSetupSection.tsx         | 19 ++++++++++++++-----
 1 file changed, 14 insertions(+), 5 deletions(-)

diff --git a/apps/web/src/components/settings/ProviderSetupSection.tsx b/apps/web/src/components/settings/ProviderSetupSection.tsx
index 04423cee21ac..c879c8ba7914 100644
--- a/apps/web/src/components/settings/ProviderSetupSection.tsx
+++ b/apps/web/src/components/settings/ProviderSetupSection.tsx
@@ -214,12 +214,21 @@ function ProviderSetupActions({
               {installation?.phase === "downloading" &&
               installation.totalBytes !== null &&
               installation.totalBytes > 0 ? (
-                <progress
+                <div
+                  role="progressbar"
                   aria-label="Antigravity download"
-                  className="block h-1 w-full accent-foreground"
-                  value={installation.downloadedBytes}
-                  max={installation.totalBytes}
-                />
+                  aria-valuemin={0}
+                  aria-valuemax={installation.totalBytes}
+                  aria-valuenow={Math.min(installation.downloadedBytes, installation.totalBytes)}
+                  className="h-1 w-full overflow-hidden rounded-full bg-muted"
+                >
+                  <div
+                    className="h-full rounded-full bg-primary transition-[width] duration-300 ease-out motion-reduce:transition-none"
+                    style={{
+                      width: `${Math.min(100, (installation.downloadedBytes / installation.totalBytes) * 100)}%`,
+                    }}
+                  />
+                </div>
               ) : null}
             </div>
             {!installActive &&

From 803ab123307c4248f3500534b67f0fcf60611795 Mon Sep 17 00:00:00 2001
From: MONKE2525E <221282747+MONKE2525E@users.noreply.github.com>
Date: Thu, 15 Oct 2026 17:40:01 -0700
Subject: [PATCH 2/2] fix(web): keep the download bar visible in forced-colors
 mode

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
---
 apps/web/src/components/settings/ProviderSetupSection.tsx | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/apps/web/src/components/settings/ProviderSetupSection.tsx b/apps/web/src/components/settings/ProviderSetupSection.tsx
index c879c8ba7914..e470a7848be5 100644
--- a/apps/web/src/components/settings/ProviderSetupSection.tsx
+++ b/apps/web/src/components/settings/ProviderSetupSection.tsx
@@ -220,10 +220,10 @@ function ProviderSetupActions({
                   aria-valuemin={0}
                   aria-valuemax={installation.totalBytes}
                   aria-valuenow={Math.min(installation.downloadedBytes, installation.totalBytes)}
-                  className="h-1 w-full overflow-hidden rounded-full bg-muted"
+                  className="h-1 w-full overflow-hidden rounded-full bg-muted forced-colors:border"
                 >
                   <div
-                    className="h-full rounded-full bg-primary transition-[width] duration-300 ease-out motion-reduce:transition-none"
+                    className="h-full rounded-full bg-primary transition-[width] duration-300 ease-out motion-reduce:transition-none forced-color-adjust-none"
                     style={{
                       width: `${Math.min(100, (installation.downloadedBytes / installation.totalBytes) * 100)}%`,
                     }}