better buttons on mobile

diff --git a/docs/assets/css/docs.css b/docs/assets/css/docs.css
index 8bf3426f7c5f4faeb10559c3be463a5f884f02b8..0f20ec6d48197f63f9a7bebd379ece270ab65f35 100644 (file)
--- a/docs/assets/css/docs.css
+++ b/docs/assets/css/docs.css
@@ -125,6 +125,8 @@ section > ul li {
 
 /* Download button */
 .bs-docs-jumbotron .btn {
+  margin-top: 5px;
+  margin-bottom: 5px;
   padding: 18px 24px;
   font-size: 21px;
   color: #b94a48; /* redeclare to override the `.jumbotron a` */