refactor(devtools): global declaration of theme types

Author: nikhilverma360

web-devtools/global.d.ts

@@ -0,0 +1,13 @@
+import { DefaultTheme } from "styled-components";
+
+import { darkTheme } from "@kleros/ui-components-library";
+
+declare module "styled-components" {
+  type Theme = typeof darkTheme;
+  export interface DefaultTheme extends Theme {
+    klerosUIComponentsSkeletonBackground: string;
+    klerosUIComponentsSkeletonHighlight: string;
+    klerosUIComponentsVioletPurple: string;
+    klerosUIComponentsLavenderPurple: string;
+  }
+}

web-devtools/src/styles/Theme.tsx

@@ -2,41 +2,6 @@ import { DefaultTheme } from "styled-components";
 
 import { darkTheme } from "@kleros/ui-components-library";
 
-declare module "styled-components" {
-  export interface DefaultTheme {
-    klerosUIComponentsPrimaryPurple: string;
-    klerosUIComponentsSecondaryPurple: string;
-    klerosUIComponentsMediumPurple: string;
-    klerosUIComponentsLightPurple: string;
-    klerosUIComponentsPrimaryBlue: string;
-    klerosUIComponentsSecondaryBlue: string;
-    klerosUIComponentsMediumBlue: string;
-    klerosUIComponentsLightBlue: string;
-    klerosUIComponentsPrimaryText: string;
-    klerosUIComponentsSecondaryText: string;
-    klerosUIComponentsStroke: string;
-    klerosUIComponentsLightGrey: string;
-    klerosUIComponentsWhiteBackground: string;
-    klerosUIComponentsLightBackground: string;
-    klerosUIComponentsDefaultShadow: string;
-    klerosUIComponentsHoveredShadow: string;
-    klerosUIComponentsSuccess: string;
-    klerosUIComponentsSuccessLight: string;
-    klerosUIComponentsWarning: string;
-    klerosUIComponentsWarningLight: string;
-    klerosUIComponentsError: string;
-    klerosUIComponentsErrorLight: string;
-    klerosUIComponentsTint: string;
-    klerosUIComponentsTintMedium: string;
-    klerosUIComponentsTintPurple: string;
-    klerosUIComponentsTransitionSpeed: string;
-    klerosUIComponentsSkeletonBackground: string;
-    klerosUIComponentsSkeletonHighlight: string;
-    klerosUIComponentsVioletPurple: string;
-    klerosUIComponentsLavenderPurple: string;
-  }
-}
-
 export const theme: DefaultTheme = {
   ...darkTheme,
   klerosUIComponentsSkeletonBackground: "#EBEBEB",