-
Notifications
You must be signed in to change notification settings - Fork 1
/
index.html
97 lines (84 loc) · 4.47 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
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
<!doctype html>
<html>
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
<meta name="generator" content="Viki">
<title>GSoC for GNU TeXmacs</title>
<link id="favicon" rel="icon" href="https://github.com/tamlok/viki/raw/master/resources/viki.ico">
<!-- Bootstrap CSS -->
<link href="https://cdn.bootcss.com/twitter-bootstrap/4.1.3/css/bootstrap.min.css" rel="stylesheet">
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/jstree@3.3.7/dist/themes/default/style.min.css">
<link href="css/highlightjs.css" rel="stylesheet">
<link href="css/viki.css" rel="stylesheet">
<link href="css/custom.css" rel="stylesheet">
<!-- jQuery first, then Popper.js, then Bootstrap JS -->
<script src="https://cdn.bootcss.com/jquery/3.3.1/jquery.min.js"></script>
<script src="https://cdn.bootcss.com/popper.js/1.14.3/umd/popper.min.js"></script>
<script src="https://cdn.bootcss.com/twitter-bootstrap/4.1.3/js/bootstrap.min.js"></script>
<!--
<script src="https://cdn.bootcss.com/highlight.js/9.13.1/highlight.min.js"></script>
<script src="https://cdn.bootcss.com/highlight.js/9.13.1/languages/go.min.js"></script>
<script src="https://cdn.bootcss.com/highlight.js/9.13.1/languages/yaml.min.js"></script>
<script src="https://cdn.bootcss.com/highlight.js/9.13.1/languages/r.min.js"></script>
<script src="https://cdn.bootcss.com/highlight.js/9.13.1/languages/scala.min.js"></script>
<script src="https://cdn.bootcss.com/highlight.js/9.13.1/languages/shell.min.js"></script>
<script src="https://cdn.bootcss.com/highlight.js/9.13.1/languages/swift.min.js"></script>
<script src="https://cdn.bootcss.com/highlightjs-line-numbers.js/2.5.0/highlightjs-line-numbers.min.js"></script>
-->
<script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.13.1/highlight.min.js"></script>
<script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.13.1/languages/yaml.min.js"></script>
<script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.13.1/languages/go.min.js"></script>
<script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.13.1/languages/r.min.js"></script>
<script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.13.1/languages/scala.min.js"></script>
<script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.13.1/languages/swift.min.js"></script>
<script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.13.1/languages/shell.min.js"></script>
<script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.13.1/languages/powershell.min.js"></script>
<script src="https://cdnjs.cloudflare.com/ajax/libs/highlightjs-line-numbers.js/2.5.0/highlightjs-line-numbers.min.js"></script>
<!--
<script src="https://cdn.bootcss.com/mermaid/8.0.0-rc.8/mermaid.min.js"></script>
-->
<script src="https://cdn.jsdelivr.net/npm/mermaid@8.0.0-rc.8/dist/mermaid.min.js"></script>
<script src="https://cdnjs.cloudflare.com/ajax/libs/raphael/2.2.7/raphael.min.js"></script>
<!--
<script src="https://cdn.bootcss.com/flowchart/1.11.3/flowchart.min.js"></script>
-->
<script src="https://cdn.jsdelivr.net/npm/flowchart.js@1.11.3/release/flowchart.min.js"></script>
<!--
<script src="http://s.plantuml.com/synchro2.js"></script>
<script src="http://s.plantuml.com/zopfli.raw.min.js"></script>
-->
<script src="https://cdn.jsdelivr.net/npm/jstree@3.3.7/dist/jstree.min.js"></script>
<script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.2/MathJax.js?config=TeX-MML-AM_HTMLorMML" async></script>
<script type="text/x-mathjax-config">
MathJax.Hub.Config({
tex2jax: {
inlineMath: [['$','$'], ['\\(','\\)']],
processEscapes: true,
processClass: "tex2jax_process|language-mathjax|lang-mathjax"
},
showProcessingMessages: false,
skipStartupTypeset: true,
TeX: {
Macros: {
bm: ["\\boldsymbol{#1}", 1]
},
equationNumbers: {
autoNumber: "AMS"
}
},
messageStyle: "none"
});
MathJax.Hub.Register.StartupHook("End", function() {
if (typeof MathJaxReady != "undefined") {
MathJaxReady();
}
});
</script>
<!-- viki script -->
<script src="js/viki.js"></script>
<script src="js/custom.js"></script>
</head>
<body>
</body>
</html>