From 446d6e8363b0a0d05da6e2a0c167f86e7fa406b9 Mon Sep 17 00:00:00 2001
From: Nathan Bierema <nbierema@gmail.com>
Date: Sun, 1 Jun 2025 09:41:50 -0400
Subject: [PATCH] Fix

---
 packages/redux-devtools-ui/src/Toolbar/styles/Divider.ts | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/packages/redux-devtools-ui/src/Toolbar/styles/Divider.ts b/packages/redux-devtools-ui/src/Toolbar/styles/Divider.ts
index 2f109eda..c6bdc02b 100644
--- a/packages/redux-devtools-ui/src/Toolbar/styles/Divider.ts
+++ b/packages/redux-devtools-ui/src/Toolbar/styles/Divider.ts
@@ -1,8 +1,8 @@
 import styled from '@emotion/styled';
-import { Theme } from '../../themes/default';
+import { Base16Theme } from 'react-base16-styling';
 
 const Divider = styled.div`
-  background-color: ${(props: { theme?: Theme }) => props.theme!.base02};
+  background-color: ${(props: { theme?: Base16Theme & { inputHeight?: number } }) => props.theme!.base02};
   box-shadow: 1px 1px 2px ${(props) => props.theme.base00};
   height: ${(props) => props.theme.inputHeight || '30'}px;
   width: 1px;