ARCHIVE/xrpl-dev-portal
1
0
Fork 0
mirror of https://github.com/XRPLF/xrpl-dev-portal.git synced 2025-11-27 23:25:51 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix GitHub button margin

Browse Source
This commit is contained in:
mDuo13
2019-05-15 14:33:35 -07:00
parent db830f20f9
commit 1c138d40ac
2 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tool/xrpl.scss
View File

@@ -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;
}