chore: json editor color

kleros · Feb 5, 2024 · d05bbfd · d05bbfd
1 parent c760ce8
commit d05bbfd
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/web/src/components/JSONEditor.tsx b/web/src/components/JSONEditor.tsx
@@ -13,6 +13,9 @@ const Container = styled.div`
   --jse-background-color: ${({ theme }) => theme.whiteBackground};
   --jse-panel-background: ${({ theme }) => theme.hoveredShadow};
   --jse-theme-color-highlight: ${({ theme }) => theme.lightPurple};
+  --jse-value-color-string: ${({ theme }) => theme.primaryText};
+  --jse-value-color-number: ${({ theme }) => theme.primaryBlue};
+  --jse-value-color-null: ${({ theme }) => theme.error};
   --jse-main-border: 1px solid ${({ theme }) => theme.stroke};
   --jse-key-color: ${({ theme }) => theme.tint};
   --jse-value-color: ${({ theme }) => theme.success};