I am concerned about this CSS leaking, although I don't understand the problem enough to know whether it will or not. @beneater ?