UI Options ToC should use <nav> element instead of <div>

In UI Options, the Table of Contents placeholder container should be a <nav> element instead of a <div> element to be more semantically correct.

See W3C <nav> guideline