I keep choosing save as CSS, over and over, but the file gets saved as a plain file with .file extension. Tried restart, saving from new file to no avail. What’s the matter?

I’m not sure. What if you just rename the file? Or type “.css” at the end?

Thank you very much, adding .css to the filename did the trick.

Normally I thought that wasn’t needed, but as long as it works.