Function scrollToView

js/common.js:135–147

(id,dst)

    }
}
function scrollToView(id,dst){
    setTimeout(
        function(){
            if(dst&&document.getElementById('code_con').open){
                console.log('dst',dst)
                document.getElementById(id).scrollIntoView()
                window.scrollBy(0,dst)
            }else{
                document.getElementById(id).scrollIntoView({behavior:'smooth'})
            }  
        },1
    )
}

function saveScast(){
    var q = RegExp('[?&]file=([^&]*)').exec(location.href);