about summary refs log tree commit diff
path: root/src/librustdoc/html/static
diff options
context:
space:
mode:
authorGuillaume Gomez <guillaume1.gomez@gmail.com>2018-11-16 11:36:40 +0100
committerGuillaume Gomez <guillaume1.gomez@gmail.com>2018-11-24 09:49:57 +0100
commite87f8cc49b56ea2b8f01281a0b2baf20e12a319d (patch)
tree8f0b44998705c8387f90b0fa11ab9613c962991b /src/librustdoc/html/static
parent93520d2ad145b791b1b1a6c71cdea65b1943ffb6 (diff)
downloadrust-e87f8cc49b56ea2b8f01281a0b2baf20e12a319d.tar.gz
rust-e87f8cc49b56ea2b8f01281a0b2baf20e12a319d.zip
Source sidebar improvements
Diffstat (limited to 'src/librustdoc/html/static')
-rw-r--r--src/librustdoc/html/static/rustdoc.css27
-rw-r--r--src/librustdoc/html/static/source-script.js24
2 files changed, 31 insertions, 20 deletions
diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css
index 5dbba3ebab5..902c492105f 100644
--- a/src/librustdoc/html/static/rustdoc.css
+++ b/src/librustdoc/html/static/rustdoc.css
@@ -1464,25 +1464,28 @@ kbd {
 #sidebar-toggle {
 	position: fixed;
 	top: 30px;
-	right: 300px;
+	left: 300px;
 	z-index: 10;
 	padding: 3px;
-	border-top-left-radius: 3px;
-	border-bottom-left-radius: 3px;
+	border-top-right-radius: 3px;
+	border-bottom-right-radius: 3px;
 	cursor: pointer;
 	font-weight: bold;
-	transition: right 1s;
+	transition: left .5s;
 	font-size: 1.2em;
+	border: 1px solid;
+	border-left: 0;
 }
 #source-sidebar {
 	position: fixed;
 	top: 0;
 	bottom: 0;
-	right: 0;
+	left: 0;
 	width: 300px;
 	z-index: 1;
 	overflow: auto;
-	transition: right 1s;
+	transition: left .5s;
+	border-right: 1px solid;
 }
 #source-sidebar > .title {
 	font-size: 1.5em;
@@ -1495,6 +1498,11 @@ div.children {
 	padding-left: 27px;
 	display: none;
 }
+div.name {
+	cursor: pointer;
+	position: relative;
+	margin-left: 16px;
+}
 div.files > a {
 	display: block;
 	padding: 0 3px;
@@ -1507,10 +1515,13 @@ div.name.expand + .children {
 }
 div.name::before {
 	content: "\25B6";
-	display: inline-block;
-	padding-right: 4px;
+	padding-left: 4px;
 	font-size: 0.7em;
+	position: absolute;
+	left: -16px;
+	top: 4px;
 }
 div.name.expand::before {
 	transform: rotate(90deg);
+	left: -14px;
 }
diff --git a/src/librustdoc/html/static/source-script.js b/src/librustdoc/html/static/source-script.js
index 59b82361c09..f8e0cf196fb 100644
--- a/src/librustdoc/html/static/source-script.js
+++ b/src/librustdoc/html/static/source-script.js
@@ -72,21 +72,21 @@ function createDirEntry(elem, parent, fullPath, currentFile, hasFoundFile) {
     children.appendChild(files);
     parent.appendChild(name);
     parent.appendChild(children);
-    return hasFoundFile === true && search.currentFile !== null;
+    return hasFoundFile === true && currentFile.startsWith(fullPath);
 }
 
 function toggleSidebar() {
     var sidebar = document.getElementById("source-sidebar");
     var child = this.children[0].children[0];
-    if (child.innerText === "<") {
-        sidebar.style.right = "";
-        this.style.right = "";
-        child.innerText = ">";
+    if (child.innerText === ">") {
+        sidebar.style.left = "";
+        this.style.left = "";
+        child.innerText = "<";
         updateLocalStorage("rustdoc-source-sidebar-hidden", "false");
     } else {
-        sidebar.style.right = "-300px";
-        this.style.right = "0";
-        child.innerText = "<";
+        sidebar.style.left = "-300px";
+        this.style.left = "0";
+        child.innerText = ">";
         updateLocalStorage("rustdoc-source-sidebar-hidden", "true");
     }
 }
@@ -102,10 +102,10 @@ function createSidebarToggle() {
     var inner2 = document.createElement("div");
     inner2.style.marginTop = "-2px";
     if (getCurrentValue("rustdoc-source-sidebar-hidden") === "true") {
-        inner2.innerText = "<";
-        sidebarToggle.style.right = "0";
-    } else {
         inner2.innerText = ">";
+        sidebarToggle.style.left = "0";
+    } else {
+        inner2.innerText = "<";
     }
 
     inner1.appendChild(inner2);
@@ -125,7 +125,7 @@ function createSourceSidebar() {
     var sidebar = document.createElement("div");
     sidebar.id = "source-sidebar";
     if (getCurrentValue("rustdoc-source-sidebar-hidden") === "true") {
-        sidebar.style.right = "-300px";
+        sidebar.style.left = "-300px";
     }
 
     var currentFile = getCurrentFilePath();