Stylechooser
<?php
echo "<ol>";
while(list($key, $val) = each($styleSheets)){
 echo "<li><a href=\"styleswitcher.php?SETSTYLE=".$key."\" title=\"".$val["title"]."\">".$val["text"]."</a></li>";
}
echo "</ol>";
?>