Merge branch 'new-dev-tools' of github.com:XRPLF/xrpl-dev-portal into new-dev-tools

merging new changes
This commit is contained in:
jonathanlei
2022-08-30 11:59:35 -07:00
2 changed files with 12 additions and 12 deletions

View File

@@ -4090,7 +4090,7 @@ pages:
- ja
# Dev Tools --------------------------------------------------------------------
- name: Dev Tools # Redirect page for old broken URL
- name: Dev Tools
html: dev-tools.html
template: page-dev-tools.html.jinja
parent: docs.html
@@ -4420,4 +4420,4 @@ known_broken_links:
word_substitutions_file: tool/word_substitutions.yaml
phrase_substitutions_file: tool/phrase_substitutions.yaml
spelling_file: tool/spelling.txt
spelling_file: tool/spelling.txt

View File

@@ -1307,12 +1307,12 @@
}
}
.nav-link {
color: #a2a2a4;
background-color: #111112;
color: $gray-400;
background-color: $gray-900;
border-top: none;
border-left: none;
border-right: none;
border-bottom-color: #454549;
border-bottom-color: $gray-600;
}
@media (max-width: 767.98px) {
@@ -1335,12 +1335,12 @@
}
}
.nav-link.active {
border-bottom-color: #9a52ff;
color: #ffffff;
border-bottom-color: $blue-purple-400;
color: $white;
font-weight: bold;
}
.nav-tabs {
border-bottom: 1px solid #454549;
border-bottom: 1px solid $gray-600;
}
.btn {
padding: 0.75rem;
@@ -1370,15 +1370,15 @@
html.light {
.page-dev-tools {
.nav-link {
background-color: #f5f5f7;
background-color: $gray-100;
}
.nav-link.active {
border-bottom-color: #9a52ff;
color: #000;
border-bottom-color: $blue-purple-400;
color: $black;
font-weight: bold;
}
.nav-link {
color: #000;
color: $black;
}
#trasaction-sender .card-footer{
background-image: url("../img/cards/3-col-light-blue-2.svg");