Rollup merge of #74361 - GuillaumeGomez:theme-logo, r=Manishearth

Improve doc theme logo display

Fixes #74350.

The first commit cleans up the whitespaces and converts them to tabs. We should definitely write a tidy check for this (will do it in another PR).

Screenshots:

![Screenshot from 2020-07-15 14-08-25](https://user-images.githubusercontent.com/3050060/87543748-8581c800-c6a5-11ea-8417-cbf98ebbfd10.png)
![Screenshot from 2020-07-15 14-11-59](https://user-images.githubusercontent.com/3050060/87543747-84e93180-c6a5-11ea-8cea-976b1470e809.png)
![Screenshot from 2020-07-15 14-12-12](https://user-images.githubusercontent.com/3050060/87543745-84509b00-c6a5-11ea-8324-c3c46ab2d9ef.png)

r? @lzutao
cc @Cldfire
This commit is contained in:
Yuki Okushi 2020-07-24 18:56:22 +09:00 committed by GitHub
commit 38b295699f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 12 additions and 0 deletions

View file

@ -62,6 +62,10 @@ pre {
background-color: #14191f;
}
.logo-container > img {
filter: drop-shadow(0 0 5px #fff);
}
/* Improve the scrollbar display on firefox */
* {
scrollbar-color: #5c6773 transparent;

View file

@ -34,6 +34,10 @@ pre {
background-color: #505050;
}
.logo-container > img {
filter: drop-shadow(0 0 5px #fff);
}
/* Improve the scrollbar display on firefox */
* {
scrollbar-color: rgb(64, 65, 67) #717171;

View file

@ -45,6 +45,10 @@ pre {
scrollbar-color: rgba(36, 37, 39, 0.6) #d9d9d9;
}
.logo-container > img {
filter: drop-shadow(0 0 5px #aaa);
}
/* Improve the scrollbar display on webkit-based browsers */
::-webkit-scrollbar-track {
background-color: #ecebeb;