if (searchInput) {
            searchInput.addEventListener('keyup', function(event) {
                if (event.keyCode === 13) {
                    event.target.blur();
                }
            });
        }
    }

    function pageChanged() {
        var logos = document.querySelectorAll(".nats");
        if (logos && logos.length == 0) {
            gitbook.toolbar.createButton({
                icon: 'nats',
                label: 'NATS Home Page',
                position: 'right',
             