diff options
Diffstat (limited to 'Omni/Jr/Web/Style.hs')
| -rw-r--r-- | Omni/Jr/Web/Style.hs | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/Omni/Jr/Web/Style.hs b/Omni/Jr/Web/Style.hs index 9ec03d6..9910e65 100644 --- a/Omni/Jr/Web/Style.hs +++ b/Omni/Jr/Web/Style.hs @@ -529,6 +529,19 @@ executionDetailsStyles = do textDecoration none wordBreak breakAll ".amp-link" # hover ? textDecoration underline + ".amp-thread-btn" ? do + display inlineBlock + padding (px 4) (px 10) (px 4) (px 10) + backgroundColor "#7c3aed" + color white + borderRadius (px 3) (px 3) (px 3) (px 3) + textDecoration none + fontSize (px 12) + fontWeight (weight 500) + transition "background-color" (ms 150) ease (sec 0) + ".amp-thread-btn" # hover ? do + backgroundColor "#6d28d9" + textDecoration none ".retry-count" ? do color "#f97316" fontWeight (weight 600) @@ -901,6 +914,9 @@ darkModeStyles = ".metric-label" ? color "#9ca3af" ".metric-value" ? color "#d1d5db" ".amp-link" ? color "#60a5fa" + ".amp-thread-btn" ? do + backgroundColor "#8b5cf6" + ".amp-thread-btn" # hover ? backgroundColor "#7c3aed" ".markdown-content" ? color "#d1d5db" ".commit-item" ? do backgroundColor "#374151" |
