add global/formatting.css and styles.php