Skip to content

Commit

Permalink
doc: do not wrap menu header
Browse files Browse the repository at this point in the history
  • Loading branch information
ShogunPanda committed Jan 28, 2022
1 parent cb321de commit 72f66f7
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 1 deletion.
5 changes: 5 additions & 0 deletions doc/api_assets/style.css
Expand Up @@ -165,12 +165,17 @@ em code {
line-height: 1.5rem;
}

#gtoc li {
white-space: nowrap;
}

li.picker-header {
position: relative;
}

li.picker-header .collapsed-arrow, li.picker-header .expanded-arrow {
width: 1.5ch;
height: 1.5em;
}

li.picker-header .collapsed-arrow {
Expand Down
2 changes: 1 addition & 1 deletion tools/doc/html.mjs
Expand Up @@ -514,7 +514,7 @@ function altDocs(filename, docCreated, versions) {
<li class="picker-header">
<a href="#">
<span class="collapsed-arrow">&#x25ba;</span><span class="expanded-arrow">&#x25bc;</span>
View another version
Other versions
</a>
<div class="picker"><ol id="alt-docs">${list}</ol></div>
</li>
Expand Down

0 comments on commit 72f66f7

Please sign in to comment.