
<!--changement de la couleur de la barre de défilement du navigateur-->
function chgcouleurbarre()
{
if (document.body.clientwidth<event.clientX)
 with(document.body.style)
 {
 scrollbarDarkShadowColor="#E5E5E5";	<!--couleur gris -->
 scrollbar3dLightColor="#E5E5E5";	<!--couleur gris -->
 scrollbarArrowColor="#E5E5E5";		<!--couleur gris -->
 scrollbarBaseColor="#077DC5";		<!--couleur bleu -->
 scrollbarFaceColor="#F3F3F3";		<!--couleur gris clair -->
 scrollbarHighlightColor="#077DC5";	<!--couleur bleu -->
 scrollbarShadowColor="#077DC5";	<!--couleur bleu -->
 scrollbarTrackColor="#F3F3F3";		<!--couleur gris clair -->
 }
else 
 with(document.body.style)
 {
 scrollbarDarkShadowColor="#E5E5E5";	<!--couleur gris -->
 scrollbar3dLightColor="#E5E5E5";	<!--couleur gris -->
 scrollbarArrowColor="#077DC5";		<!--couleur fleche bleu -->
 scrollbarBaseColor="#077DC5";		<!--couleur bleu -->
 scrollbarFaceColor="#F3F3F3";		<!--couleur gris clair -->
 scrollbarHighlightColor="#077DC5";	<!--couleur bleu -->
 scrollbarShadowColor="#077DC5";	<!--couleur bleu -->
 scrollbarTrackColor="#E5E5E5";		<!--couleur gris -->
 }
}
if (document.all)
{
 document.onmousemove=chgcouleurbarre;
}
//-->