Rollup merge of #75870 - GuillaumeGomez:unify-border-color-theme-ayu, r=pickfire

Dylan-DPC · web-flow · commit c1cb46e9064d · 2020-08-27T01:14:15.000+02:00
Unify theme choices border color in ayu theme There was a slight color difference in the theme choice menu borders: ![Screenshot from 2020-08-24 10-37-05](https://user-images.githubusercontent.com/3050060/91022913-22654880-e5f6-11ea-8165-302b2d4e701e.png) ![Screenshot from 2020-08-24 10-37-58](https://user-images.githubusercontent.com/3050060/91022918-242f0c00-e5f6-11ea-989a-e26a28196d09.png) r? @Cldfire
diff --git a/src/librustdoc/html/static/themes/ayu.css b/src/librustdoc/html/static/themes/ayu.css
@@ -514,7 +514,7 @@ kbd {
 }
 
 #theme-choices > button:not(:first-child) {
-	border-top-color: #c5c5c5;
+	border-top-color: #5c6773;
 }
 
 #theme-choices > button:hover, #theme-choices > button:focus {

Original file line number	Diff line number	Diff line change
`@@ -514,7 +514,7 @@ kbd {`
`514`	`514`	`}`
`515`	`515`
`516`	`516`	`#theme-choices > button:not(:first-child) {`
`517`		`- border-top-color: #c5c5c5;`
	`517`	`+ border-top-color: #5c6773;`
`518`	`518`	`}`
`519`	`519`
`520`	`520`	`#theme-choices > button:hover, #theme-choices > button:focus {`