index.html 2.9 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283
  1. <html>
  2. <head>
  3. <meta charset="UTF-8">
  4. <meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
  5. <title>Interactive notebook</title>
  6. <link href="css/mditor.min.css" rel="stylesheet">
  7. <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/bootstrap@4.4.1/dist/css/bootstrap.min.css"
  8. integrity="sha384-Vkoo8x4CGsO3+Hhxv8T/Q5PaXtkKtu6ug5TOeNV6gBiFeWPGFN9MuhOf23Q9Ifjh" crossorigin="anonymous">
  9. <link rel="stylesheet" href="css/codemirror.css">
  10. <link rel="stylesheet" href="codemirror/darcula.css">
  11. <link rel="stylesheet" href="codemirror/material-ocean.css">
  12. <link rel="stylesheet" href="css/app.css">
  13. </head>
  14. <body>
  15. <div class="container no-fix-height">
  16. <div tabindex="1" class="mditor preview">
  17. <div class="head">
  18. <ul class="toolbar">
  19. <span id="title">Interactive notebook</span>
  20. </ul>
  21. </div>
  22. <div class="body">
  23. <div class="viewer">
  24. <div class="markdown-body" id="markdown-body">
  25. </div>
  26. </div>
  27. </div>
  28. </div>
  29. <div id="input-container">
  30. </div>
  31. </div>
  32. <script src="js/mustache.min.js"></script>
  33. <script src="js/codemirror.js"></script>
  34. <script src="codemirror/matchbrackets.js"></script>
  35. <script src="codemirror/python.js"></script>
  36. <script src="codemirror/loadmode.js"></script>
  37. <script src="codemirror/active-line.js"></script>
  38. <script src="js/mditor.min.js"></script>
  39. <script src="js/form.js"></script>
  40. <script src="js/FileSaver.min.js"></script>
  41. <script src="https://cdn.jsdelivr.net/npm/jquery@3.4.1/dist/jquery.min.js"></script>
  42. <script src="https://cdn.jsdelivr.net/npm/popper.js@1.16.0/dist/umd/popper.min.js"
  43. integrity="sha384-Q6E9RHvbIyZFJoft+2mJbHaEWldlvI9IOYy5n3zV9zzTtmI3UksdQRVvoxMfooAo"
  44. crossorigin="anonymous"></script>
  45. <script src="https://cdn.jsdelivr.net/npm/bootstrap@4.4.1/dist/js/bootstrap.min.js"
  46. integrity="sha384-wfSDF2E50Y2D1uUdj0O3uMBJnjuUD4Ih7YwaYd1iqfktj0Uod8GCExl3Og8ifwB6"
  47. crossorigin="anonymous"></script>
  48. <script src="https://cdn.jsdelivr.net/npm/bs-custom-file-input/dist/bs-custom-file-input.js"></script>
  49. <script src="https://cdn.jsdelivr.net/npm/js-cookie@rc/dist/js.cookie.min.js"></script>
  50. <script>
  51. $(document).ready(function () {
  52. // https://www.npmjs.com/package/bs-custom-file-input
  53. bsCustomFileInput.init()
  54. });
  55. function get_ws_addr() {
  56. if (window.location.hash.length > 0) {
  57. return window.location.hash.slice(1);
  58. } else {
  59. return "ws://" + window.location.host + "/ws"
  60. }
  61. }
  62. CodeMirror.modeURL = "https://cdn.bootcss.com/codemirror/2.36.0/%N.js";
  63. var md_body = $('#markdown-body');
  64. var session = new WebIO.WebSocketWebIOSession(get_ws_addr());
  65. var ctrl = new WebIO.WebIOController(session, md_body, $('#input-container'));
  66. session.start_session();
  67. </script>
  68. </body>
  69. </html>