Updated coqdoc.css & did some surgery on it.