<?php
$filename = preg_replace(',^'.$_SERVER["SCRIPT_NAME"].',', '', $_SERVER["PHP_SELF"]);
if(!preg_match(',^/[a-zA-Z0-9-]+\.css$,', $filename)) {
    header("Content-type: text/css");
    print "/* Invalid CSS document requested. */";
    exit;
}
$cachefilename = dirname(__FILE__)."/small-cache".$filename;
$filename = dirname(__FILE__).$filename;
if(file_exists($cachefilename) && filemtime($cachefilename) >= filemtime($filename) &&
   filemtime($cachefilename) >= filemtime(__FILE__)) {
    header("Content-type: text/css");
    header("Last-Modified: ".gmdate('D, d M Y H:i:s \G\M\T', filemtime($cachefilename)));
    header("Expires: ".gmdate('D, d M Y H:i:s \G\M\T', time() + 1800));
    readfile($cachefilename);
    exit;
}
if(file_exists($filename)) {
    $css = file_get_contents($filename);

    /* Variable substitution */
    if(preg_match_all('/\$([a-zA-Z][a-zA-Z0-9]*)\s+=\s+([^;]+);/', $css, $matches)) {
        $css = preg_replace('/\$[a-zA-Z][a-zA-Z0-9]*\s+=\s+([^;]+);/', '', $css);
        for($i = 0; $i < count($matches[1]); $i++) {
            $v{$matches[1][$i]} = $matches[2][$i];
        }
        foreach($v as $key => $val) {
            $css = preg_replace('/\$'.$key.'/', $val, $css);
        }
    }

    $css = preg_replace(',/\*(.*?)\*/,s','',$css);
    $css = preg_replace(',(\n+|\s+),', ' ', $css);
    $css = preg_replace(',\s*([}{]+)\s*,', '\\1', $css);
    $css = preg_replace('/([;:,]+)\s*/', '\\1', $css);
    $css = trim($css);

    header("Content-type: text/css");
    header("Last-Modified: ".gmdate('D, d M Y H:i:s \G\M\T', filemtime($filename)));
    header("Expires: ".gmdate('D, d M Y H:i:s \G\M\T', time() + 1800));
    print $css."\n";

    $fd = fopen($cachefilename, "w");
    fwrite($fd, $css."\n");
    fclose($fd);
}
?>