Theorem and proof environments in CSS