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/list/List.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/list/List.js')
-rw-r--r-- | webui/src/list/List.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/webui/src/list/List.js b/webui/src/list/List.js index 45c2c963..54b2fe97 100644 --- a/webui/src/list/List.js +++ b/webui/src/list/List.js @@ -11,7 +11,7 @@ const useStyles = makeStyles(theme => ({ main: { maxWidth: 600, margin: 'auto', - marginTop: theme.spacing.unit * 4, + marginTop: theme.spacing(4), }, pagination: { ...theme.typography.overline, |