So wie er es dargestellt hat, ist es CSS in HTML. Wenn man allerdings eine mit PHP generierte CSS-Datei includen will, muss man AFAIK per PHP zumindest den Header 'Content-Type: text/css' senden:
PHP-Code:
<?php
header('Content-Type: text/css');
?>
body {
   ...
}
Anders hat es bei mir nie funktioniert. Außerdem ist es recht schwer so die richtigen Styles zu erzeugen, weil man der externen Datei dann alle Variablen, die benötigt werden, entweder per URL oder Session übertragen muss.