Updates to fix jump menu on API reference page

bug: #1223449

author: diane fleming

David, See if this one works. Thanks!