@@ -49,7 +49,7 @@ function printTab(nb) {
4949 let iter = 0 ;
5050 let foundCurrentTab = false ;
5151 let foundCurrentResultSet = false ;
52- onEachLazy ( document . getElementById ( "titles " ) . childNodes , elem => {
52+ onEachLazy ( document . getElementById ( "search-tabs " ) . childNodes , elem => {
5353 if ( nb === iter ) {
5454 addClass ( elem , "selected" ) ;
5555 foundCurrentTab = true ;
@@ -1490,7 +1490,7 @@ function initSearch(rawSearchIndex) {
14901490 function focusSearchResult ( ) {
14911491 const target = searchState . focusedByTab [ searchState . currentTab ] ||
14921492 document . querySelectorAll ( ".search-results.active a" ) . item ( 0 ) ||
1493- document . querySelectorAll ( "#titles > button" ) . item ( searchState . currentTab ) ;
1493+ document . querySelectorAll ( "#search-tabs button" ) . item ( searchState . currentTab ) ;
14941494 searchState . focusedByTab [ searchState . currentTab ] = null ;
14951495 if ( target ) {
14961496 target . focus ( ) ;
@@ -1645,9 +1645,9 @@ function initSearch(rawSearchIndex) {
16451645 function makeTabHeader ( tabNb , text , nbElems ) {
16461646 if ( searchState . currentTab === tabNb ) {
16471647 return "<button class=\"selected\">" + text +
1648- " <div class=\"count\">(" + nbElems + ")</div ></button>" ;
1648+ " <span class=\"count\">(" + nbElems + ")</span ></button>" ;
16491649 }
1650- return "<button>" + text + " <div class=\"count\">(" + nbElems + ")</div ></button>" ;
1650+ return "<button>" + text + " <span class=\"count\">(" + nbElems + ")</span ></button>" ;
16511651 }
16521652
16531653 /**
@@ -1712,12 +1712,12 @@ function initSearch(rawSearchIndex) {
17121712 let output = `<h1 class="search-results-title">Results${ crates } </h1>` ;
17131713 if ( results . query . error !== null ) {
17141714 output += `<h3>Query parser error: "${ results . query . error } ".</h3>` ;
1715- output += "<div id=\"titles \">" +
1715+ output += "<div id=\"search-tabs \">" +
17161716 makeTabHeader ( 0 , "In Names" , ret_others [ 1 ] ) +
17171717 "</div>" ;
17181718 currentTab = 0 ;
17191719 } else if ( results . query . foundElems <= 1 && results . query . returned . length === 0 ) {
1720- output += "<div id=\"titles \">" +
1720+ output += "<div id=\"search-tabs \">" +
17211721 makeTabHeader ( 0 , "In Names" , ret_others [ 1 ] ) +
17221722 makeTabHeader ( 1 , "In Parameters" , ret_in_args [ 1 ] ) +
17231723 makeTabHeader ( 2 , "In Return Types" , ret_returned [ 1 ] ) +
@@ -1727,7 +1727,7 @@ function initSearch(rawSearchIndex) {
17271727 results . query . elems . length === 0 ? "In Function Return Types" :
17281728 results . query . returned . length === 0 ? "In Function Parameters" :
17291729 "In Function Signatures" ;
1730- output += "<div id=\"titles \">" +
1730+ output += "<div id=\"search-tabs \">" +
17311731 makeTabHeader ( 0 , signatureTabTitle , ret_others [ 1 ] ) +
17321732 "</div>" ;
17331733 currentTab = 0 ;
@@ -1747,7 +1747,7 @@ function initSearch(rawSearchIndex) {
17471747 search . appendChild ( resultsElem ) ;
17481748 // Reset focused elements.
17491749 searchState . showResults ( search ) ;
1750- const elems = document . getElementById ( "titles " ) . childNodes ;
1750+ const elems = document . getElementById ( "search-tabs " ) . childNodes ;
17511751 searchState . focusedByTab = [ ] ;
17521752 let i = 0 ;
17531753 for ( const elem of elems ) {
0 commit comments