If you're working away from the primes dividing the level, your curves have semi-stable reduction, and have canonical log-smooth log structures. For any pair (X,D), where X is smooth and D is a divisor with normal crossings, there is a log structure given by the set of functions in Ox that are invertible away from D. In your case, I think you take X to be the universal curve, and D to be the divisor at infinity. Forgetting a coprime level structure yields a map with vanishing log-cotangent complex.
References (may not have your precise statement):
- F. Kato. Log smooth deformation theory
- M. Olsson "Universal log structures on semistable varieties"
Olsson has some other papers that might be useful. He takes them off his web page when they get published, but sometimes you can find them with Google Scholar.