Thanks to Peter and Michael at Telecom for looking at this earlier (and late in the night). As above, forced a new filename for the CSS to invalidate the cache, so it should be loading now.

Why the Telecom cache got lost is another problem, and may be one of those hiccups...

And Peter found out what "//" means too ;)