Me refería a los links de tu post, y a algunos cuantos otros, miles? No no creo que se justifique.
En en la práctica, viendo los muy buenos plugins de Jquery para personalizar el scroll
http://manos.malihu.gr/tuts/jquery_c...scrollbar.html
Si lo necesito, ya tengo opciones.
Saludos