zprd b379d70ecf use id to find the future current sidebar item (#586) ...

Fixes #583

- find the referenced 'id element' first, then the closest section
- if no association found in the sidebar, fallback to #
- reword comments

2018-03-18 12:40:45 -04:00

..

theme.js

use id to find the future current sidebar item (#586)

2018-03-18 12:40:45 -04:00