reduxjs/redux-devtools
1
1
Fork 0
mirror of https://github.com/reduxjs/redux-devtools.git synced 2025-07-17 11:42:29 +03:00
Code Issues Packages Projects Releases Wiki Activity

Format

Browse Source
This commit is contained in:
Nathan Bierema 2025-06-01 09:43:55 -04:00
parent 446d6e8363
commit 8c616e4565
1 changed files with 3 additions and 1 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

@ -2,7 +2,9 @@ import styled from '@emotion/styled';
import { Base16Theme } from 'react-base16-styling'; import { Base16Theme } from 'react-base16-styling';
const Divider = styled.div` const Divider = styled.div`
background-color: ${(props: { theme?: Base16Theme & { inputHeight?: number } }) => props.theme!.base02}; background-color: ${(props: {
theme?: Base16Theme & { inputHeight?: number };
}) => props.theme!.base02};
box-shadow: 1px 1px 2px ${(props) => props.theme.base00}; box-shadow: 1px 1px 2px ${(props) => props.theme.base00};
height: ${(props) => props.theme.inputHeight || '30'}px; height: ${(props) => props.theme.inputHeight || '30'}px;
width: 1px; width: 1px;