toc highlighting doesn't work with globaltoc

Created originally on Bitbucket by Anonymous

As reported by Boris Kheyfets, the toc highlighting code doesn't handle globaltoc.html. Need to have js init code scan for those elements, will probably have to add an identifying marker to globaltoc output as well.