reduxjs/redux-devtools
1
1
Fork 0
mirror of https://github.com/reduxjs/redux-devtools.git synced 2024-11-25 19:13:56 +03:00
Code Issues Packages Projects Releases Wiki Activity

pixel pushed buttons at top

Browse Source
This commit is contained in:
dzannotti 2015-08-11 23:09:04 +01:00
parent e222f98be6
commit 476122253f
2 changed files with 9 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/react/LogMonitor.js
View File

@ -13,15 +13,14 @@ const styles = {
fontSize: '0.95em' fontSize: '0.95em'
}, },
buttonBar: { buttonBar: {
height: 45, height: 40,
marginBottom: 1, textAlign: 'center'
paddingLeft: 2
}, },
elements: { elements: {
position: 'absolute', position: 'absolute',
left: 0, left: 0,
right: 0, right: 0,
top: 27, top: 40,
bottom: 0, bottom: 0,
overflowX: 'hidden', overflowX: 'hidden',
overflowY: 'auto' overflowY: 'auto'

9
src/react/LogMonitorButton.js
View File

@ -2,11 +2,14 @@ import React from 'react';
const styles = { const styles = {
base: { base: {
paddingTop: 3, marginTop: 5,
paddingBottom: 3, marginLeft: 4,
minWidth: 40,
paddingLeft: 6, paddingLeft: 6,
paddingRight: 6, paddingRight: 6,
marginTop: 2, height: 30,
borderRadius: 4,
lineHeight: "30px",
display: 'inline-block', display: 'inline-block',
fontSize: '0.8em' fontSize: '0.8em'
} }