diff options
| author | Quentin Gliech <quentingliech@gmail.com> | 2019-09-04 20:03:56 +0200 |
|---|---|---|
| committer | Quentin Gliech <quentingliech@gmail.com> | 2019-09-04 20:14:32 +0200 |
| commit | 0ad23d0e24d876ff9bcd6b5d83c1514de132522f (patch) | |
| tree | 226f10f275fa6a848fc3aca09ec1bff1d8d15cbe /webui/src/Label.js | |
| parent | 87c64cd8fba04f3d88a60ee0df07259523113bf0 (diff) | |
| download | git-bug-0ad23d0e24d876ff9bcd6b5d83c1514de132522f.tar.gz | |
webui: Fix bug listing style
Diffstat (limited to 'webui/src/Label.js')
| -rw-r--r-- | webui/src/Label.js | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/webui/src/Label.js b/webui/src/Label.js index 6edf46a2..e5b00b12 100644 --- a/webui/src/Label.js +++ b/webui/src/Label.js @@ -28,9 +28,10 @@ const createStyle = color => ({ const useStyles = makeStyles(theme => ({ label: { ...theme.typography.body1, - padding: '0 6px', + 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', |