A red CSS for Coq.