New CSS version for the Coq blog