/*https://webplatform.news/issues/2019-07-25*/
/*https://www.w3schools.com/howto/tryit.asp?filename=tryhow_css_custom_scrollbar2*/

/*Chromium*/
/* width */
::-webkit-scrollbar {
    /*width: 7.5px;*/
    width: 6.5px;
    height: 7.5px; /*This is taller than wider because it is easier to scroll with a mouse wheel vertically than horizontally*/
}

body::-webkit-scrollbar {
    width: 15px;
}

/* Track */
::-webkit-scrollbar-track {
    box-shadow: inset 0 0 5px grey;
    border-radius: 10px;
}

/* Handle */
::-webkit-scrollbar-thumb {
    background: grey;
    border-radius: 10px;
}

    /* Handle on hover */
    ::-webkit-scrollbar-thumb:hover {
        background: darkgrey;
    }

/*End of chromium*/

/*Firefox*/
div, ul {
    scrollbar-color: grey darkgrey; /* thumb and track color */
    scrollbar-width: thin;
}

/*End of firefox*/