mirror of
https://github.com/reduxjs/redux-devtools.git
synced 2025-05-04 23:23:43 +03:00
15 lines
539 B
JavaScript
15 lines
539 B
JavaScript
export default colors => ({
|
|
...colors,
|
|
fontFamily: "'Source Sans Pro', sans-serif",
|
|
codeFontFamily: "'Source Code Pro', monospace",
|
|
inputHeight: 30,
|
|
inputBorderWidth: 1,
|
|
inputBorderRadius: 4,
|
|
spinnerSize: 13, // Math.floor(theme.inputHeight / 2) - 2
|
|
inputPadding: 10, // theme.inputHeight / 3
|
|
selectArrowWidth: 4, // Math.floor(theme.inputHeight / 7)
|
|
inputInternalHeight: 28, // theme.inputHeight - theme.inputBorderWidth * 2
|
|
inputBorderColor: colors.base02,
|
|
inputFocusedStyle: `border-color: ${colors.base0D}`
|
|
});
|