diff options
author | Michael Muré <batolettre@gmail.com> | 2019-09-04 20:15:36 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-09-04 20:15:36 +0200 |
commit | c4bebed2f2ad1e0ec673bbfbbe445bfad963453a (patch) | |
tree | 5b80cc0267f8455a65e6f55cb631b1c8ce517e9a /webui/src/Label.js | |
parent | 16af70894c0348ec90dfee69274f7d44ef2eb079 (diff) | |
parent | 0ad23d0e24d876ff9bcd6b5d83c1514de132522f (diff) | |
download | git-bug-c4bebed2f2ad1e0ec673bbfbbe445bfad963453a.tar.gz |
Merge pull request #211 from MichaelMure/update-webui
Update webui
Diffstat (limited to 'webui/src/Label.js')
-rw-r--r-- | webui/src/Label.js | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/webui/src/Label.js b/webui/src/Label.js index fc8a3a22..e5b00b12 100644 --- a/webui/src/Label.js +++ b/webui/src/Label.js @@ -27,10 +27,11 @@ const createStyle = color => ({ const useStyles = makeStyles(theme => ({ label: { - ...theme.typography.body2, - padding: '0 6px', + ...theme.typography.body1, + padding: '1px 6px 0.5px', fontSize: '0.9em', - margin: '0 1px', + fontWeight: '500', + margin: '0.05em 1px calc(-1.5px + 0.05em)', borderRadius: '3px', display: 'inline-block', borderBottom: 'solid 1.5px', |