I get this as well, and I have another problem. I usually work in Word but one company wants things in Google Docs. OK, I create the document in Word in Times Roman and paste it into Google Docs.... which converts it into Arial.

If I copy something else from the same Word document into the same Google Doc, then Google keeps it in Times. How does that work?

Is there a "smart paste" feature I've missed?

Sorry if I'm being thick, but I'm using the same clipboard to paste between the same two documents, so I still don't see why GDocs should interpret them differently....

I can try clearing the clipboard between pastes: would that make a difference?

I've seen this happen before, but only very rarely and refreshing would always fix it. Does refreshing not work for you?

Unfortunately not.