A minor change in .gitignore file for stylesheets