Fix HTML TOC themes issue.