/* Styles specific to the index.php page */