small fix on the doc css (again)