Joseph Karo, 548: The Laws of Mourning on Hol Hamoed…
“ Paragraph 6 - Even though there is no mourning during the holiday, if somebody experiences a death on the holiday, we occupy ourselves with comforting him on the holiday. After the holiday, once seven days have passed since the dead, even though the mourning period has not finished, his work can be performed by others in their house and his servants can work in the privacy of his home. ”
