Skip to content

Commit bcc3842

Browse files
committed
doc: increase webkit scrollbars size
This increases webkit scrollbars width from 10px to 16px, but keeps the visual width at 10px until the scrollbar is hovered.
1 parent 7437133 commit bcc3842

File tree

1 file changed

+8
-2
lines changed

1 file changed

+8
-2
lines changed

doc/api_assets/style.css

Lines changed: 8 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -72,7 +72,8 @@ em code {
7272
background: #d2d2d2;
7373
background-clip: padding-box;
7474
border: 3px solid #fff;
75-
border-radius: 5px;
75+
border-left-width: 9px;
76+
border-radius: 0px;
7677
}
7778

7879
::-webkit-scrollbar-thumb:active {
@@ -81,7 +82,12 @@ em code {
8182
}
8283

8384
::-webkit-scrollbar {
84-
width: 10px;
85+
width: 16px;
86+
}
87+
88+
::-webkit-scrollbar-thumb:hover {
89+
border-width: 3px;
90+
border-radius: 5px;
8591
}
8692

8793
#column2::-webkit-scrollbar-track {

0 commit comments

Comments
 (0)