Hers' one way:
set a cookie called $whatever. WHatever's value is red,12,arial. Then, when you check for this cookie, do this:
<? if ($whatever) {
$css_info = explode(",",$whatever);
} else {
$css_info[] = "blue";
$css_info[] = "10";
$css_info[] = "Times";
}
?>
Assuming you include this CSS file you mention, then SPAN {color:red; font-size:12px; font-family:arial;} could be written as SPAN {color:<?= $css_info[0] ?>font-size:<?= $css_info[1] ?>px; font-family:a<?= $css_info[2] ?>;}