refactor(devtools): dynamic theme types

Author: nikhilverma360

web-devtools/global.d.ts

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

web-devtools/src/styles/Theme.tsx

@@ -1,8 +1,6 @@
-import { DefaultTheme } from "styled-components";
-
 import { darkTheme } from "@kleros/ui-components-library";
 
-export const theme: DefaultTheme = {
+export const theme = {
   ...darkTheme,
   klerosUIComponentsSkeletonBackground: "#EBEBEB",
   klerosUIComponentsSkeletonHighlight: "#F5F5F5",