Fix issue with table of contents and derived html styles.