_scrollbars.scss
ASCII text, with CRLF line terminators
1::-webkit-scrollbar, 2::-webkit-scrollbar-corner { 3width: 17px; 4height: 17px; 5border: 0 solid divider($on-surface); 6background-color: rgba($surface-z8, .9); 7} 8 9::-webkit-scrollbar:horizontal, 10::-webkit-scrollbar-corner { 11border-top-width: 1px; 12} 13 14::-webkit-scrollbar:vertical, 15::-webkit-scrollbar-corner { 16border-left-width: 1px; 17} 18 19::-webkit-scrollbar { 20background-clip: padding-box; 21} 22 23::-webkit-scrollbar-thumb { 24width: 32px; 25height: 32px; 26border: 4px solid transparent; 27border-radius: 8px; 28background-color: scrollbar-thumb($on-surface); 29background-clip: padding-box; 30 31&:horizontal { 32border-top-width: 5px; 33border-top-left-radius: 8px 9px; 34border-top-right-radius: 8px 9px; 35} 36 37&:vertical { 38border-left-width: 5px; 39border-top-left-radius: 9px 8px; 40border-bottom-left-radius: 9px 8px; 41} 42 43&:hover { 44background-color: scrollbar-thumb($on-surface, "hover"); 45} 46 47&:active { 48background-color: scrollbar-thumb($on-surface, "pressed"); 49} 50 51&:disabled { 52background-color: scrollbar-thumb($on-surface, "disabled"); 53} 54} 55 56// 57// Workaround: Chrome does not properly load selection style of GTK theme. 58// 59 60::selection { 61background-color: rgba(primary($on-light), .24); 62} 63