about summary refs log tree commit diff
path: root/src/librustdoc/html/static/rustdoc.css
diff options
context:
space:
mode:
authorbors <bors@rust-lang.org>2018-01-25 06:12:06 +0000
committerbors <bors@rust-lang.org>2018-01-25 06:12:06 +0000
commit4cf26f8a133039bfeb5b9f684df9f547278db206 (patch)
treecfa6b6847c31449d0a9409ac1abfedeea62e10d4 /src/librustdoc/html/static/rustdoc.css
parent247835aacbf9ef743930b6412c7c7b09dc41aa0c (diff)
parente78f1392b79779fa184f9a63e7be04ac7074a1c2 (diff)
downloadrust-4cf26f8a133039bfeb5b9f684df9f547278db206.tar.gz
rust-4cf26f8a133039bfeb5b9f684df9f547278db206.zip
Auto merge of #47686 - GuillaumeGomez:theme-fixes, r=QuietMisdreavus
Few fixes for multiple themes support feature

r? @QuietMisdreavus

Fixes #47695.
Diffstat (limited to 'src/librustdoc/html/static/rustdoc.css')
-rw-r--r--src/librustdoc/html/static/rustdoc.css27
1 files changed, 20 insertions, 7 deletions
diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css
index c1ca86e3292..d2eeb2e15b3 100644
--- a/src/librustdoc/html/static/rustdoc.css
+++ b/src/librustdoc/html/static/rustdoc.css
@@ -1141,13 +1141,19 @@ kbd {
 	border: solid 1px;
 	border-radius: 3px;
 	box-shadow: inset 0 -1px 0;
+	cursor: default;
 }
 
-#theme-picker {
+.theme-picker {
 	position: absolute;
 	left: 211px;
-	top: 17px;
+	top: 19px;
+}
+
+#theme-picker {
 	padding: 4px;
+	width: 27px;
+	height: 29px;
 	border: 1px solid;
 	border-radius: 3px;
 	cursor: pointer;
@@ -1156,21 +1162,28 @@ kbd {
 #theme-choices {
 	display: none;
 	position: absolute;
-	left: -1px;
-	top: 30px;
+	left: 0;
+	top: 28px;
 	border: 1px solid;
 	border-radius: 3px;
 	z-index: 1;
+	cursor: pointer;
 }
 
-#theme-choices > div {
-	border-top: 1px solid;
+#theme-choices > button {
+	border: none;
+	width: 100%;
 	padding: 4px;
 	text-align: center;
+	background: rgba(0,0,0,0);
+}
+
+#theme-choices > button:not(:first-child) {
+	border-top: 1px solid;
 }
 
 @media (max-width: 700px) {
-	#theme-picker {
+	.theme-picker {
 		left: 109px;
 		top: 7px;
 		z-index: 1;