diff options
| author | Guillaume Gomez <guillaume.gomez@huawei.com> | 2023-06-03 16:22:19 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume.gomez@huawei.com> | 2023-06-03 16:37:43 +0200 |
| commit | de85f7ff363a80ab0eefc6909edc24b5c99880c4 (patch) | |
| tree | 77cc715d1253c743a3a8ac77ed0005a808da46cd /src/librustdoc | |
| parent | f92cd677114d76d78c73177d21184c83a087a6b6 (diff) | |
| download | rust-de85f7ff363a80ab0eefc6909edc24b5c99880c4.tar.gz rust-de85f7ff363a80ab0eefc6909edc24b5c99880c4.zip | |
Move type name directly into the same DOM element
Diffstat (limited to 'src/librustdoc')
| -rw-r--r-- | src/librustdoc/html/static/css/rustdoc.css | 13 | ||||
| -rw-r--r-- | src/librustdoc/html/static/js/search.js | 7 |
2 files changed, 1 insertions, 19 deletions
diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css index 167319ba9bd..b487cfa5c25 100644 --- a/src/librustdoc/html/static/css/rustdoc.css +++ b/src/librustdoc/html/static/css/rustdoc.css @@ -190,7 +190,6 @@ h1, h2, h3, h4, h5, h6, .mobile-topbar, .search-input, .search-results .result-name, -.search-results .type-kind, .item-name > a, .out-of-band, span.since, @@ -871,10 +870,6 @@ so that we can apply CSS-filters to change the arrow color in themes */ } .search-results > a > div { - flex: 3; -} - -.search-results > a > div.type-kind { flex: 1; } @@ -1722,14 +1717,6 @@ in source-script.js display: block; } - .search-results > a > .type-kind { - display: inline-block; - } - .search-results > a > .result-name { - display: inline-block; - margin-left: 7px; - } - /* Display an alternating layout on tablets and phones */ .search-results > a { padding: 5px 0px; diff --git a/src/librustdoc/html/static/js/search.js b/src/librustdoc/html/static/js/search.js index c25c36994fa..eff8aa79caf 100644 --- a/src/librustdoc/html/static/js/search.js +++ b/src/librustdoc/html/static/js/search.js @@ -1892,14 +1892,9 @@ function initSearch(rawSearchIndex) { resultName.appendChild(alias); } - const typeDisplay = document.createElement("div"); - typeDisplay.innerText = typeName; - typeDisplay.className = "type-kind"; - link.appendChild(typeDisplay); - resultName.insertAdjacentHTML( "beforeend", - item.displayPath + "<span class=\"" + type + "\">" + name + "</span>"); + `${typeName} ${item.displayPath}<span class="${type}">${name}</span>`); link.appendChild(resultName); const description = document.createElement("div"); |
