about summary refs log tree commit diff
path: root/src/librustdoc/html/static/rustdoc.css
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/rustdoc.css
parent93520d2ad145b791b1b1a6c71cdea65b1943ffb6 (diff)
downloadrust-e87f8cc49b56ea2b8f01281a0b2baf20e12a319d.tar.gz
rust-e87f8cc49b56ea2b8f01281a0b2baf20e12a319d.zip
Source sidebar improvements
Diffstat (limited to 'src/librustdoc/html/static/rustdoc.css')
-rw-r--r--src/librustdoc/html/static/rustdoc.css27
1 files changed, 19 insertions, 8 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;
 }