) {
        var reader = new FileReader();
        reader.onload = function (evt) {
          jQuery.post('/load', evt.target.result);
        };
        reader.readAsText(file);
      }
    }

    // The URL to this site is used in several places throughout the page.
    $(".document-location").text(document.location);

    // Initialize materializecss.
    M.AutoInit();

    // Initialize code highlight
    hljs.initHighlightingOnLoad();
  </script>

</body>

</html>