1 <?php # vim:ts=2:sw=2:et:
2 /* For licensing and copyright terms, see the file named LICENSE */
3 include '../inc/common.php';
7 header('Content-Type: text/css');
8 header("Cache-Control: public, max-age=$age, pre-check=$age");
9 header('Expires: ' . date(DATE_COOKIE, time() + $age));
12 'css/smoothness/jquery-ui-1.7.2.custom.css',
14 'css/markitup/markitup-simple.css',
15 'css/markitup/wiki.css',
16 '../inc/hyperlight/vibrant-ink.css',
17 '../inc/hyperlight/zenburn.css',
18 '../inc/hyperlight/wezterm.css',
21 foreach ($scripts as $name) {
22 echo "\n/* $name */\n";
23 $dir = dirname($name);
24 $data = file_get_contents($name);
25 $data = preg_replace('@url\(([^)]+)\)@', "url($dir/\\1)", $data);