document.addEventListener('DOMContentLoaded', function () {
  var a = document.querySelector('.wy-side-nav-search > a');
  if (a) a.href = '/';
});