Imported theme style tweaks from PR 587

7 years ago · ce060eb37a
1 changed files with 2 additions and 1 deletions
--- a/src/theme.js
+++ b/src/theme.js
@ -336,7 +336,7 @@ const sharedStyles = {
      },
      '& li': {
-        marginTop: 20,
+        marginTop: 10,
      },
      '& li.button-newapp': {
@ -345,6 +345,7 @@ const sharedStyles = {
      '& ol, & ul': {
        marginLeft: 20,
        marginTop: 10,
      },
    },