// Gestione del colore delle barre, viene messo su un file separato
// perchè in genere è incluso nello header di FP (top,htm)

function ColoreBarreSito()
{
//var colore = '#00FF00'
//var colore = '#8000ff'
var colore = '#4000ff'

if (document.all)	{document.body.style.scrollbarFaceColor= colore}
document.body.style.scrollbarArrowColor='#00FF00'
document.body.style.scrollbarHighlightColor='#000080'

}