$color[10] = '#726987'; // (dark purp) Darker version of #9
$color[11] = '#770000'; // (dark red) Special Folders color
$color[12] = '#e0d9f2';
$color[10] = '#726987'; // (dark purp) Darker version of #9
$color[11] = '#770000'; // (dark red) Special Folders color
$color[12] = '#e0d9f2';