/* This is intended to be empty so default.css is not downloaded twice and so no styles are overridden... */