doc-src/templates/flasky_sphinx_guide/fulldoc/html/js/sphinx/doctools.js
function() {
    if (document.location.hash && $.browser.mozilla)
      window.setTimeout(function() {
        document.location.href += '';
      }, 10);
  }
function() {
    if (document.location.hash && $.browser.mozilla)
      window.setTimeout(function() {
        document.location.href += '';
      }, 10);
  }
function ( ) { if ( document . location . hash && $ . browser . mozilla ) window . setTimeout ( function ( ) { document . location . href += '' ; } , 10 ) ; }
workaround a firefox stupidity
workaround a firefox stupidity