- var tree = document.getElementById('tree'),
- anchors = document.getElementsByTagName('a'),
- name = '/' + document.location.pathname.split('/')[1] + '/',
- offset;
-
- for (var i = 0; i < anchors.length; i++) {
- if (anchors[i].getAttribute('name') === name) {
- offset = anchors[i].offsetTop;
- break;
- }
- }
-
- if (tree && offset) {
- tree.scrollTop = offset - 10;
- }
-