/* not valid, ie-specific css */
pre {
	scrollbar-base-color:#fafdff;
	scrollbar-3dlight-color:#fafdff;
	scrollbar-arrow-color:#b3bcc1;
	scrollbar-darkshadow-color:#e3eff5;
	scrollbar-face-color:#e3eff5;
	scrollbar-highlight-color:#b3bcc1;
	scrollbar-shadow-color:#cbd5db;
	scrollbar-track-color:#fafdff;
}