-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
58 lines (51 loc) · 2.4 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
<html>
<head>
<title>
runspeed.notebook
</title>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1">
<link href="./assets/normalize.css/normalize.css" rel="stylesheet" />
<link href="https://fonts.googleapis.com/css?family=Roboto|Noto+Sans|Source+Code+Pro&display=swap" rel="stylesheet">
<link href="./assets/c3/c3.min.css" rel="stylesheet">
<link rel="stylesheet" data-name="vs/editor/editor.main" href="./assets/monaco-editor/min/vs/editor/editor.main.css">
<link rel="stylesheet" type="text/css" href="index.css">
<!-- Facebook Pixel Code -->
<script>
!function(f,b,e,v,n,t,s)
{if(f.fbq)return;n=f.fbq=function(){n.callMethod?
n.callMethod.apply(n,arguments):n.queue.push(arguments)};
if(!f._fbq)f._fbq=n;n.push=n;n.loaded=!0;n.version='2.0';
n.queue=[];t=b.createElement(e);t.async=!0;
t.src=v;s=b.getElementsByTagName(e)[0];
s.parentNode.insertBefore(t,s)}(window, document,'script',
'https://connect.facebook.net/en_US/fbevents.js');
fbq('init', '1131902396995880');
fbq('track', 'PageView');
</script>
<noscript><img height="1" width="1" style="display:none"
src="https://www.facebook.com/tr?id=1131902396995880&ev=PageView&noscript=1"
/></noscript>
<!-- End Facebook Pixel Code -->
</head>
<body>
<div id="root"></div>
<script src="notebook.js"></script>
<script src="export.js"></script>
<!--
Monaco editor code has to come after export.js to avoid a problem.
-->
<script>var require = { paths: { 'vs': './assets/monaco-editor/min/vs' } };</script>
<script src="./assets/monaco-editor/min/vs/loader.js"></script>
<script src="./assets/monaco-editor/min/vs/editor/editor.main.nls.js"></script>
<script src="./assets/monaco-editor/min/vs/editor/editor.main.js"></script>
<script>
document.addEventListener("DOMContentLoaded", function(event) {
const els = document.getElementsByClassName("export-code");
for (var i = 0; i < els.length; ++i) {
monaco.editor.colorizeElement(els[i]);
}
});
</script>
</body>
</html>