ResiLien
/
portails
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

remove duplicated scrollbar definitions

This commit is contained in:
Marco Blessing 2021-04-13 12:22:06 +02:00 committed by GitHub
parent 4f1aee2c75
commit 0f3deeff83
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
assets/scss/common/_dark.scss
View File

@ -188,7 +188,7 @@ body.dark .docs-navigation {
} }
body.dark pre code::-webkit-scrollbar-thumb { body.dark pre code::-webkit-scrollbar-thumb {
background: $border-dark; background: $gray-400;
} }
body.dark code:not(.hljs) { body.dark code:not(.hljs) {
@ -202,7 +202,7 @@ body.dark pre code:hover {
} }
body.dark pre code::-webkit-scrollbar-thumb:hover { body.dark pre code::-webkit-scrollbar-thumb:hover {
background: $border-dark; background: $gray-500;
} }
body.dark blockquote { body.dark blockquote {
@ -331,20 +331,3 @@ body.dark .copy-status:active::after {
display: block; display: block;
color: $link-color-dark; color: $link-color-dark;
} }
body.dark pre code::-webkit-scrollbar {
height: 5px;
}
body.dark pre code::-webkit-scrollbar-thumb {
background: $gray-400;
}
body.dark pre code:hover {
scrollbar-width: thin;
scrollbar-color: $gray-500 transparent;
}
body.dark pre code::-webkit-scrollbar-thumb:hover {
background: $gray-500;
}