Thanks Damien.
I’ll register a workaround I found, in case someone feel this need.
I renamed the css file; checked media; synchronized; renamed back the css file to the original name; checked media again; synchronized again. This forced the upload of the new version of the file to the server, spreading it to my other devices.