CSS goes in def.php