*/
global $color;
-$color[0] = "#6188A9"; // (light gray) TitleBar
-$color[1] = "#800000"; // (red)
-$color[2] = "#CC0000"; // (light red) Warning/Error Messages
-$color[3] = "#294763"; // (green-blue) Left Bar Background
-$color[4] = "#FFFFFF"; // (white) Normal Background
-$color[5] = "#597D9D"; // (light yellow) Table Headers
-$color[6] = "#FFFFFF"; // (black) Text on left bar
-$color[7] = "#000000"; // (blue) Links
-$color[8] = "#000000"; // (black) Normal text
-$color[9] = "#587B99"; // (mid-gray) Darker version of #0
-$color[10] = "#496E8B"; // (dark gray) Darker version of #9
-$color[11] = "#A7C5F3"; // (dark red) Special Folders color
-$color[12] = "#7092B4";
-
+$color[0] = '#6188A9'; // (light gray) TitleBar
+$color[1] = '#800000'; // (red)
+$color[2] = '#CC0000'; // (light red) Warning/Error Messages
+$color[3] = '#294763'; // (green-blue) Left Bar Background
+$color[4] = '#FFFFFF'; // (white) Normal Background
+$color[5] = '#597D9D'; // (light yellow) Table Headers
+$color[6] = '#FFFFFF'; // (black) Text on left bar
+$color[7] = '#000000'; // (blue) Links
+$color[8] = '#000000'; // (black) Normal text
+$color[9] = '#587B99'; // (mid-gray) Darker version of #0
+$color[10] = '#496E8B'; // (dark gray) Darker version of #9
+$color[11] = '#A7C5F3'; // (dark red) Special Folders color
+$color[12] = '#7092B4';
+$color[15] = '#83A1DA'; // (another blue) Unselectable folders color
?>