html {
    --scrollbarBG: #CFD8DC;
    --thumbBG: #3b3b3b;
}
body::-webkit-scrollbar, .versions_container::-webkit-scrollbar, .pretty_scrollbar::-webkit-scrollbar {
    width: 10px;
    height: 10px;
}
body, .versions_container, .pretty_scrollbar {
    scrollbar-width: thin;
    scrollbar-color: var(--thumbBG) var(--scrollbarBG);
}
body::-webkit-scrollbar-track, .versions_container::-webkit-scrollbar-track, .pretty_scrollbar::-webkit-scrollbar-track {
    background: var(--scrollbarBG);
}
body::-webkit-scrollbar-thumb, .versions_container::-webkit-scrollbar-thumb, .pretty_scrollbar::-webkit-scrollbar-thumb {
    background-color: var(--thumbBG) ;
    border-radius: 6px;
    border: 1px solid var(--scrollbarBG);
    /*border: none;*/
}