2020-11-04 Didier Verna <didier@didierverna.net> * share/css/document.css: Fix incorrect header credits.