://cdnjs.cloudflare.com/ajax/libs/materialize/1.0.0/js/materialize.min.js"></script>
  <script src="//cdn.jsdelivr.net/gh/highlightjs/cdn-release@10.0.1/build/highlight.min.js"></script>

  <script type="text/javascript">
    // Reloads the log every second.
    window.setInterval(function () {
      jQuery.getJSON("/log?length=50", function (result) {
        $("#log").empty();
        jQuery.each(result, function (i, item) {
          $("#log").append("<div>" + item + "</pre>");
        });
      });
    