diff options
Diffstat (limited to 'api-docs/cppdocs')
| -rw-r--r-- | api-docs/cppdocs/binaryninja-docs.css | 18 | ||||
| -rw-r--r-- | api-docs/cppdocs/header.html | 22 |
2 files changed, 32 insertions, 8 deletions
diff --git a/api-docs/cppdocs/binaryninja-docs.css b/api-docs/cppdocs/binaryninja-docs.css index 50e5ef2c..8dfd6d00 100644 --- a/api-docs/cppdocs/binaryninja-docs.css +++ b/api-docs/cppdocs/binaryninja-docs.css @@ -601,7 +601,7 @@ tr#projectrow { background-color: var(--bn-red); color: #ffffff; display: inline-block; - line-height: var(--tree-item-height); + line-height: 1.4; padding: 0 4px; margin: 0 -4px; } @@ -620,8 +620,13 @@ html.dark-mode #nav-tree .selected a { } #nav-tree .item { - height: var(--tree-item-height); - line-height: var(--tree-item-height); + min-height: var(--tree-item-height); + line-height: 1.4; + padding-top: 6px; + padding-bottom: 6px; + box-sizing: border-box; + display: flex; + align-items: center; } /* Undecorated root node */ @@ -658,10 +663,6 @@ a.index\.html { margin-top: 0; } -#nav-tree-contents > ul > li:first-child > ul > li > .item { - padding-top: 4px; -} - /* ============================================================================ * COLLAPSIBLE SECTIONS (dynsections.js) * ============================================================================ */ @@ -676,7 +677,8 @@ a.index\.html { } .arrow:hover .arrowhead, -tr:hover .arrowhead { +tr:hover .arrowhead, +.arrowhead.opened { opacity: 1; } diff --git a/api-docs/cppdocs/header.html b/api-docs/cppdocs/header.html index a73a36bb..aa33c348 100644 --- a/api-docs/cppdocs/header.html +++ b/api-docs/cppdocs/header.html @@ -26,6 +26,28 @@ $mathjax <link href="$relpath^$stylesheet" rel="stylesheet" type="text/css" /> $extrastylesheet <script type="text/javascript" src="$relpath^binaryninja-darkmode.js"></script> +<script type="text/javascript"> +$(document).ready(function() { + setTimeout(function() { + var selected = document.querySelector('#nav-tree .selected'); + if (selected) { + var parentLi = selected.closest('li'); + if (parentLi) { + var arrow = parentLi.querySelector('.arrow'); + var arrowhead = arrow ? arrow.querySelector('.arrowhead.closed') : null; + if (arrowhead) { + arrow.click(); + setTimeout(function() { + if (document.activeElement) { + document.activeElement.blur(); + } + }, 0); + } + } + } + }, 150); +}); +</script> </head> <body> <!--BEGIN FULL_SIDEBAR--> |