doc/site.js


1
2
3
4
5
6
7
8
9
10
11
12
13
14

switch(window.location.protocol) {
    case 'http:':
    case 'https:':
        // remote file
        document.getElementById("searchSite").style.display = "block";
        break;
    case 'file:':
        // local file
        document.getElementById("searchSite").style.display = "none";
        break;
    default:

    break;
}