Highlight active defined term & simplify TOC toggle

I accidentally removed the CSS that highlights the active defined term. This brings it back.