more documental theme css bug fixes. #6523