reduxjs/redux-devtools
1
1
Fork 0
mirror of https://github.com/reduxjs/redux-devtools.git synced 2025-07-09 15:52:26 +03:00
Code Issues Packages Projects Releases Wiki Activity

Fix

Browse Source
This commit is contained in:
Nathan Bierema 2025-06-01 09:41:50 -04:00
parent 282a9bf9f7
commit 446d6e8363
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
packages/redux-devtools-ui/src/Toolbar/styles/Divider.ts
View File

@ -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;