/* just here to evict the punbb complain about css miss
   the real css is included in the header (inc/header.php)
*/