/* EuropeDoor — one stylesheet, one set of tokens. The rule that keeps this file honest: no page may ship its own