Add missing coqdoc.css