#537: style.scss, rename file

Resolves #537.