coqdoc.css: fix a few errors