If old TV recordings and VHS tapes are anything to go by, which I would assume they are since my ROTJ tape had the same font (at least it looks the same) as the one in the picture Mielr posted, then my Star Wars VHS had the exact same font as that and I would assume the same one was used for the theater as well. But assuming is dangerous.