mathieu/granite-rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Rollup merge of #58086 - GuillaumeGomez:rustdoc-file-list-improvement, r=Manishearth

Browse source 
[rustdoc] Improve file list display

Improve a bit the arrows to show a folder's file and the arrow to show/hide the left panel.

r? @QuietMisdreavus
This commit is contained in:
Guillaume Gomez 2019-02-07 14:28:36 +01:00 • committed by GitHub
commit f22c445053
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/librustdoc/html/static/rustdoc.css
View file

@ -1573,5 +1573,6 @@ div.name::before {
}
div.name.expand::before {
transform: rotate(90deg);
left: -14px;
left: -15px;
top: 2px;
}

2
src/librustdoc/html/static/source-script.js
View file

@ -94,7 +94,7 @@ function createSidebarToggle() {
inner1.style.position = "relative";
var inner2 = document.createElement("div");
inner2.style.marginTop = "-2px";
inner2.style.paddingTop = "3px";
if (getCurrentValue("rustdoc-source-sidebar-show") === "true") {
inner2.innerText = "<";
} else {