<?php

prüfen ob das Formular gesendet wurde:
if(isset($seitenfarbe)) {
setcookie("design", $seitenfarbe, time()+(60*60*24*365));
echo "<link rel=\"stylesheet\" type=\"text/css\" href=\"style$seitenfarbe.css\">";

wenn nicht, prüfen ob Cookie bereits existiert:
} else if(isset($design)) {
echo "<link rel=\"stylesheet\" type=\"text/css\" href=\"style$design.css\">";

sonst wird das Standarddesign ausgegeben.
} else {
echo "<link rel=\"stylesheet\" type=\"text/css\" href=\"style1.css\">";
}

?>

<?php

echo "
<form name=\"sitecolor\" action=\"$PHP_SELF\" method=\"post\">
<select name=\"dx\"

Bei einer Änderung im Pulldownmenu wird sein Wert ins versteckte Formularfeld geschrieben.
onchange=\"document.sitecolor.seitenfarbe.value=
document.sitecolor.dx.options
[document.sitecolor.dx.selectedIndex].value\">

<option selected value=1>Design
<option value=1>Standard
<option value=2>Design 2
<option value=3>Design 3
</option>
</select>
<input type=\"submit\" value=\"OK\" style=\"width:30px\">

Hier wird die Designnummer versteckt. Wenn der Cookie vorhanden ist, wird sein Wert als value übernommen, falls jemand auf den Button klickt ohne vorher was ausgewählt zu haben.
<input type=\"hidden\" name=\"seitenfarbe\"
  value=\""; if(isset($design)) { echo $design; } else { echo "1"; } echo "\">

</form>
";
?>