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

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
This commit is contained in:
Dylan DPC 2020-08-27 01:14:15 +02:00 committed by GitHub
commit c1cb46e906
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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 {