Fix invalid input:disabled CSS selector

GuillaumeGomez · GuillaumeGomez · commit 0b1ee79b6c40 · 2021-05-16T14:49:44.000+02:00
diff --git a/src/librustdoc/html/static/themes/ayu.css b/src/librustdoc/html/static/themes/ayu.css
@@ -248,8 +248,8 @@ details.undocumented > summary::before {
 	box-shadow: 0 0 0 1px #148099,0 0 0 2px transparent;
 }
 
-.search-focus:disabled {
-	color: #929292;
+.search-input:disabled {
+	background-color: #3e3e3e;
 }
 
 .module-item .stab,
diff --git a/src/librustdoc/html/static/themes/dark.css b/src/librustdoc/html/static/themes/dark.css
@@ -209,7 +209,7 @@ details.undocumented > summary::before {
 	border-color: #008dfd;
 }
 
-.search-focus:disabled {
+.search-input:disabled {
 	background-color: #c5c4c4;
 }
 
diff --git a/src/librustdoc/html/static/themes/light.css b/src/librustdoc/html/static/themes/light.css
@@ -207,7 +207,7 @@ details.undocumented > summary::before {
 	border-color: #66afe9;
 }
 
-.search-focus:disabled {
+.search-input:disabled {
 	background-color: #e6e6e6;
 }
 

Original file line number	Diff line number	Diff line change
`@@ -248,8 +248,8 @@ details.undocumented > summary::before {`
`248`	`248`	`box-shadow: 0 0 0 1px #148099,0 0 0 2px transparent;`
`249`	`249`	`}`
`250`	`250`
`251`		`-.search-focus:disabled {`
`252`		`- color: #929292;`
	`251`	`+.search-input:disabled {`
	`252`	`+ background-color: #3e3e3e;`
`253`	`253`	`}`
`254`	`254`
`255`	`255`	`.module-item .stab,`
Original file line number	Diff line number	Diff line change
`@@ -209,7 +209,7 @@ details.undocumented > summary::before {`
`209`	`209`	`border-color: #008dfd;`
`210`	`210`	`}`
`211`	`211`
`212`		`-.search-focus:disabled {`
	`212`	`+.search-input:disabled {`
`213`	`213`	`background-color: #c5c4c4;`
`214`	`214`	`}`
`215`	`215`
Original file line number	Diff line number	Diff line change
`@@ -207,7 +207,7 @@ details.undocumented > summary::before {`
`207`	`207`	`border-color: #66afe9;`
`208`	`208`	`}`
`209`	`209`
`210`		`-.search-focus:disabled {`
	`210`	`+.search-input:disabled {`
`211`	`211`	`background-color: #e6e6e6;`
`212`	`212`	`}`
`213`	`213`