diff options
| author | Michael Muré <batolettre@gmail.com> | 2019-08-31 14:21:45 +0200 |
|---|---|---|
| committer | Michael Muré <batolettre@gmail.com> | 2019-08-31 22:07:06 +0200 |
| commit | 87c64cd8fba04f3d88a60ee0df07259523113bf0 (patch) | |
| tree | 07e305fbff810d2a4bdcf79163ae60d166fbcba6 /webui/src/Label.js | |
| parent | 0020e608935882fab0318a0e0946b47f47f14c95 (diff) | |
| download | git-bug-87c64cd8fba04f3d88a60ee0df07259523113bf0.tar.gz | |
webui: upgrade to material-ui 4
Diffstat (limited to 'webui/src/Label.js')
| -rw-r--r-- | webui/src/Label.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/webui/src/Label.js b/webui/src/Label.js index fc8a3a22..6edf46a2 100644 --- a/webui/src/Label.js +++ b/webui/src/Label.js @@ -27,7 +27,7 @@ const createStyle = color => ({ const useStyles = makeStyles(theme => ({ label: { - ...theme.typography.body2, + ...theme.typography.body1, padding: '0 6px', fontSize: '0.9em', margin: '0 1px', |