Theorem environments that are shaded.