From ce060eb37a35924ee14f898cd911ab7c4fc172f2 Mon Sep 17 00:00:00 2001
From: Brian Vaughn <brian.david.vaughn@gmail.com>
Date: Sat, 24 Mar 2018 16:01:57 -0700
Subject: [PATCH] Imported theme style tweaks from PR 587

---
 src/theme.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/theme.js b/src/theme.js
index 9da7e3e4..5fba925d 100644
--- 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,
       },
     },