From 1c138d40ac41a9f841bca83b0744d9217f291310 Mon Sep 17 00:00:00 2001
From: mDuo13 <mduo13@gmail.com>
Date: Wed, 15 May 2019 14:33:35 -0700
Subject: [PATCH] Fix GitHub button margin

---
 assets/vendor/bootstrap.css | 8 ++++----
 tool/xrpl.scss              | 2 +-
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/assets/vendor/bootstrap.css b/assets/vendor/bootstrap.css
index 687ebfe477..12bc7e9e2a 100644
--- a/assets/vendor/bootstrap.css
+++ b/assets/vendor/bootstrap.css
@@ -5459,7 +5459,7 @@ button.bg-dark:focus {
   z-index: 1;
   pointer-events: auto;
   content: "";
-  background-color: transparent; }
+  background-color: rgba(0, 0, 0, 0); }
 
 .m-0 {
   margin: 0 !important; }
@@ -7326,7 +7326,8 @@ aside a.active-parent {
 /* Edit on GitHub link ------------------------------------------------------ */
 .github-edit-wrap {
   border: 1px solid #B3B0AF;
-  margin-right: 10px; }
+  margin-right: 10px;
+  margin-left: 10px; }
 
 .github-edit-wrap:hover {
   border-color: #1B1818; }
@@ -7343,5 +7344,4 @@ aside a.active-parent {
   line-height: 17px;
   /* Match search box height */
   font-family: "Space Mono", monospace;
-  font-weight: 700;
-  margin-left: 10px; }
+  font-weight: 700; }
diff --git a/tool/xrpl.scss b/tool/xrpl.scss
index afddccd781..0793a96448 100644
--- a/tool/xrpl.scss
+++ b/tool/xrpl.scss
@@ -409,6 +409,7 @@ aside a.active-parent {
 .github-edit-wrap {
   border: 1px solid $gray-400;
   margin-right: 10px;
+  margin-left: 10px;
 }
 .github-edit-wrap:hover {
   border-color: $black;
@@ -425,5 +426,4 @@ aside a.active-parent {
   line-height: 17px; /* Match search box height */
   font-family: "Space Mono", monospace;
   font-weight: 700;
-  margin-left: 10px;
 }