mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Extend sidebar scrollbar changes to all scrollbars

Browse Source
This commit is contained in:
Guillaume Gomez 2020-04-07 22:10:17 +02:00
parent e1aa88c6a0
commit cbee6c5f0c
3 changed files with 41 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
src/librustdoc/html/static/rustdoc.css
View File

@ -182,17 +182,24 @@ nav.sub {
top: 0;
bottom: 0;
overflow: auto;
/* Improve the sidebar display on firefox */
}
/* Improve the scrollbar display on firefox */
* {
scrollbar-width: initial;
}
.sidebar {
scrollbar-width: thin;
}
/* Improve the sidebar display on webkit-based browsers */
/* Improve the scrollbar display on webkit-based browsers */
::-webkit-scrollbar {
width: 12px;
}
.sidebar::-webkit-scrollbar {
width: 8px;
}
/* Improve the sidebar display on webkit-based browsers */
.sidebar::-webkit-scrollbar-track {
::-webkit-scrollbar-track {
-webkit-box-shadow: inset 0;
}

18
src/librustdoc/html/static/themes/dark.css
View File

@ -30,16 +30,26 @@ pre {
.sidebar {
background-color: #505050;
/* Improve the sidebar display on firefox */
}
/* Improve the scrollbar display on firefox */
* {
scrollbar-color: rgb(64, 65, 67) #717171;
}
.sidebar {
scrollbar-color: rgba(32,34,37,.6) transparent;
}
/* Improve the sidebar display on webkit-based browsers */
/* Improve the scrollbar display on webkit-based browsers */
::-webkit-scrollbar-track {
background-color: #717171;
}
::-webkit-scrollbar-thumb {
background-color: rgba(32, 34, 37, .6);
}
.sidebar::-webkit-scrollbar-track {
background-color: #717171;
}
/* Improve the sidebar display on webkit-based browsers */
.sidebar::-webkit-scrollbar-thumb {
background-color: rgba(32, 34, 37, .6);
}

19
src/librustdoc/html/static/themes/light.css
View File

@ -32,16 +32,27 @@ pre {
.sidebar {
background-color: #F1F1F1;
/* Improve the sidebar display on firefox */
}
/* Improve the scrollbar display on firefox */
* {
scrollbar-color: rgba(36, 37, 39, 0.6) #e6e6e6;
}
.sidebar {
scrollbar-color: rgba(36, 37, 39, 0.6) #d9d9d9;
}
/* Improve the sidebar display on webkit-based browsers */
/* Improve the scrollbar display on webkit-based browsers */
::-webkit-scrollbar-track {
background-color: #ecebeb;
}
::-webkit-scrollbar-thumb {
background-color: rgba(36, 37, 39, 0.6);
}
.sidebar::-webkit-scrollbar-track {
background-color: #dcdcdc;
}
/* Improve the sidebar display on webkit-based browsers */
.sidebar::-webkit-scrollbar-thumb {
background-color: rgba(36, 37, 39, 0.6);
}