update documental theme with revised css. #6523