push both production and development copies of styles.css to GitHub