themes/default.php

   1 <?php
   2         header("Content-type: text/css");
   3
   4         function import_tag($filename) {
   5                 return "@import \"$filename?".filemtime($filename)."\";";
   6         }
   7
   8         $styles = [ "tt-rss.css", "dijit.css", "cdm.css", "prefs.css" ];
   9
  10         foreach ($styles as $style) {
  11                 print import_tag("../css/$style") . "\n";
  12         }
  13 ?>
  14