push production and dev copies of main stylesheet to GitHub