commit ccb4063ac050c3ade7d09e2fdc4cf85639be9de6
Author: Ben Sima <ben@bensima.com>
Date: Sat Nov 29 23:26:50 2025
Add dark mode styles for retry/failure banner on task detail pages
Build and tests pass. The dark mode styles for the retry/failure banner
Task-Id: t-191
diff --git a/Omni/Jr/Web/Style.hs b/Omni/Jr/Web/Style.hs
index 21ce7420..ed7f05ef 100644
--- a/Omni/Jr/Web/Style.hs
+++ b/Omni/Jr/Web/Style.hs
@@ -1688,6 +1688,16 @@ darkModeStyles =
backgroundColor "#450a0a"
borderColor "#991b1b"
(".danger-zone" |> h2) ? color "#f87171"
+ ".retry-banner-warning" ? do
+ backgroundColor "#451a03"
+ borderColor "#b45309"
+ ".retry-banner-critical" ? do
+ backgroundColor "#450a0a"
+ borderColor "#dc2626"
+ ".retry-attempt" ? color "#d1d5db"
+ ".retry-banner-details" ? color "#d1d5db"
+ ".retry-value" ? color "#9ca3af"
+ ".retry-commit" ? backgroundColor "#374151"
-- Responsive dark mode: dropdown content needs background on mobile
query Media.screen [Media.maxWidth (px 600)] <| do
".navbar-dropdown-content" ? do