/*  This script is  included in the head section of all html files that may display a scrollbar.
    It changes scrollbar properties/colors (for browsers that handle it)  
	*/
	
	document.write("<style>  <!--" +
		"body { " +
		"scrollbar-face-color: #383E40;" +
		"scrollbar-arrow-color: #E99959;" +
		"scrollbar-track-color: #BAC4C8;" +
		"scrollbar-darkshadow-color: #ffffff;" +
		"} --> </style> ")