PHPSPOT開発日誌さんで、JavaScriptを用いずにユーザが好みのCSSを選べる仕組みが紹介されている。 http://phpspot.org/blog/archives/2006/08/javascriptcss.html PHPでクッキーに設定を突っ込んで、表示側でクッキーの値に合わせてcssへのリンクを張っているようだ。単純な仕組みだ。 ところで、次の箇所は思わぬバグを引き起こしかねない。 $ref = (isset($_SERVER['HTTP_REFERER'])) ? $_SERVER['HTTP_REFERER'] : "/"; header("Location: $ref"); RFC2616§14.36でRefererリクエストヘッダは次のように定義されている Referer = "Referer" ":" ( absoluteURI | relativeURI