<!--

html, body {
	scrollbar-face-color: rgb(0, 0, 204);
	scrollbar-arrow-color: rgb(102, 255, 102);
	scrollbar-highlight-color: rgb(255, 255, 255);
	scrollbar-3dlight-color: rgb(102, 51, 255);
	scrollbar-shadow-color: rgb(77, 77, 145);
	scrollbar-darkshadow-color: rgb(0, 0, 0);
	scrollbar-track-color: rgb(0, 0, 0);
}
-->