doc.css and style.php