diff options
Diffstat (limited to 'Omni/Jr/Web/Style.hs')
| -rw-r--r-- | Omni/Jr/Web/Style.hs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Omni/Jr/Web/Style.hs b/Omni/Jr/Web/Style.hs index 9a0c12d..bb74ce9 100644 --- a/Omni/Jr/Web/Style.hs +++ b/Omni/Jr/Web/Style.hs @@ -1488,6 +1488,11 @@ timelineEventStyles = do ".tool-name" ? do fontFamily ["SF Mono", "Monaco", "Consolas", "monospace"] [monospace] color "#3b82f6" + ".tool-summary" ? do + fontFamily ["SF Mono", "Monaco", "Consolas", "monospace"] [monospace] + fontSize (px 12) + color "#6b7280" + marginLeft (px 8) ".tool-args" ? do marginTop (px 4) paddingLeft (px 20) |