Details
-
Bug
-
Status: Pull Request
-
Major
-
Resolution: Unresolved
-
2.0
-
None
-
None
Description
In UI Options, the Table of Contents placeholder container should be a <nav> element instead of a <div> element to be more semantically correct.