//This is a javascript file that dynamically moves the search bar - dpeneding on what position its parent element has.


function left() {
    return parseInt(this.element.left);
}

function shift_bot_nav() {
    var top_nav_li = document.getElementById('active');
    var div = document.getElementById('botnavcntnr');
    var offset = top_nav_li.offsetLeft;
    offset = offset - 12;
    div.style.margin = '4px 0 0 ' + offset + 'px';
}