*/
global $color;
-$color[0] = "#9EBFA7"; // (light purp) TitleBar
-$color[1] = "#800000"; // (red)
-$color[2] = "#CC0000"; // (light red) Warning/Error Messages
-$color[3] = "#244B30"; // (purple) Left Bar Background
-$color[4] = "#DEFFE7"; // (light purple) Normal Background
-$color[5] = "#B6D7BF"; // (darker gray) Table Headers
-$color[6] = "#DDFFDD"; // (black) Text on left bar
-$color[7] = "#1C5F30"; // (light purple) Links
-$color[8] = "#000000"; // (black) Normal text
-$color[9] = "#88a990"; // (mid purp) Darker version of #0
-$color[10] = "#5E7F67"; // (dark purp) Darker version of #9
-$color[11] = "#4A9B62"; // (dark red) Special Folders color
-$color[12] = "#D2F3DA";
-
+$color[0] = '#9EBFA7'; // (light purp) TitleBar
+$color[1] = '#800000'; // (red)
+$color[2] = '#CC0000'; // (light red) Warning/Error Messages
+$color[3] = '#244B30'; // (purple) Left Bar Background
+$color[4] = '#DEFFE7'; // (light purple) Normal Background
+$color[5] = '#B6D7BF'; // (darker gray) Table Headers
+$color[6] = '#DDFFDD'; // (black) Text on left bar
+$color[7] = '#1C5F30'; // (light purple) Links
+$color[8] = '#000000'; // (black) Normal text
+$color[9] = '#88a990'; // (mid purp) Darker version of #0
+$color[10] = '#5E7F67'; // (dark purp) Darker version of #9
+$color[11] = '#4A9B62'; // (dark red) Special Folders color
+$color[12] = '#D2F3DA';
+$color[15] = '#648b70'; // (another green) Unselectable folders
?>