ARCHIVE/xrpl-dev-portal
1
0
Fork 0
mirror of https://github.com/XRPLF/xrpl-dev-portal.git synced 2025-12-01 17:15:51 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add Explorer special case to Dev Tools nav

Browse Source
This commit is contained in:
mDuo13
2019-10-29 14:26:54 -07:00
parent b9029aa838
commit 4ac47648cb
4 changed files with 9 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
tool/xrpl.scss
View File

@@ -379,6 +379,9 @@ aside a.active-parent {
padding-left: 33px;
border-left: 2px solid $primary;
}
.sidebar_pagelist li a .fa {
display: inline;
}
.sidenav_cat_toggler {
background-color: $gray-600;