[csswizardry]

OP here: Important point is that it’s the file’s onload event and not the window’s onload event that we’re listening for.