index.html 1.4 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344
  1. <!--
  2. ~ Copyright (c) Jupyter Development Team.
  3. ~ Distributed under the terms of the Modified BSD License.
  4. -->
  5. <!doctype html>
  6. <html lang="en">
  7. <head>
  8. <meta charset="utf-8" />
  9. <title>{% block title %}{{page_title | escape }}{% endblock %}</title>
  10. {% block stylesheet %} {% for css_file in css_files %}
  11. <link href="{{ css_file | escape }}" rel="stylesheet" />
  12. {% endfor %} {% endblock %} {# Copy so we do not modify the page_config with
  13. updates. #} {% set page_config_full = page_config.copy() %} {# Set a dummy
  14. variable - we just want the side effect of the update. #} {% set _ =
  15. page_config_full.update(baseUrl=base_url, wsUrl=ws_url) %}
  16. <script id="jupyter-config-data" type="application/json">
  17. {{ page_config_full | tojson }}
  18. </script>
  19. {% block favicon %} {% endblock %} {% for js_file in js_files %}
  20. <script
  21. src="{{ js_file | escape }}"
  22. type="text/javascript"
  23. charset="utf-8"
  24. ></script>
  25. {% endfor %} {% block meta %} {% endblock %}
  26. </head>
  27. <body>
  28. <script type="text/javascript">
  29. // Remove token from URL.
  30. (function () {
  31. var parsedUrl = new URL(window.location.href);
  32. if (parsedUrl.searchParams.get("token")) {
  33. parsedUrl.searchParams.delete("token");
  34. window.history.replaceState({}, "", parsedUrl.href);
  35. }
  36. })();
  37. </script>
  38. </body>
  39. </html>