*/
global $color;
-$color[0] = "#A8A8A8"; // (darkish grey) TitleBar
-$color[1] = "#800000"; // (red)
-$color[2] = "#CC0000"; // (light red) Warning/Error Messages
-$color[3] = "#475A94"; // (darkish blue) Left Bar Background
-$color[4] = "#DEDFDF"; // (grey) Normal Background
-$color[5] = "#FFFFCC"; // (light yellow) Table Headers
-$color[6] = "#000000"; // (black) Text on left bar
-$color[7] = "#0000CC"; // (blue) Links
-$color[8] = "#000000"; // (black) Normal text
-$color[9] = "#ABABAB"; // (mid-gray) Lighter version of #0
-$color[10] = "#666666"; // (dark gray) Darker version of #0
-$color[11] = "#770000"; // (dark red) Special Folders color
-
+$color[0] = '#A8A8A8'; // (darkish grey) TitleBar
+$color[1] = '#800000'; // (red)
+$color[2] = '#CC0000'; // (light red) Warning/Error Messages
+$color[3] = '#475A94'; // (darkish blue) Left Bar Background
+$color[4] = '#DEDFDF'; // (grey) Normal Background
+$color[5] = '#FFFFCC'; // (light yellow) Table Headers
+$color[6] = '#000000'; // (black) Text on left bar
+$color[7] = '#0000CC'; // (blue) Links
+$color[8] = '#000000'; // (black) Normal text
+$color[9] = '#ABABAB'; // (mid-gray) Lighter version of #0
+$color[10] = '#666666'; // (dark gray) Darker version of #0
+$color[11] = '#770000'; // (dark red) Special Folders color
+$color[15] = '#ABABAB'; // (mid-gray) Unselectable folders
?>