[css] Update old docco CSS (closes: #4932)