Use https for the w3c stylesheet