custom.js
... ...
@@ -84,24 +84,4 @@ window.onload = function() {
84 84
console.log( page );
85 85
document.getElementById("dat").innerHTML = filterSelection(page);
86 86
87
-
88
- // MERMAID CODE
89
-
90
- var mermaid = document.createElement('script');
91
- mermaid.setAttribute('src','https://cdn.jsdelivr.net/npm/mermaid/dist/mermaid.min.js');
92
- document.head.appendChild(mermaid);
93
-
94
- mermaid.initialize({
95
- // mermaid core options
96
- mermaid: {
97
- startOnLoad: true,
98
- },
99
- // mermaidAPI options
100
- flowchart: {
101
- useMaxWidth: true,
102
- htmlLabels: true,
103
- },
104
- secure: ['secure', 'securityLevel', 'startOnLoad', 'maxTextSize', 'htmlLabels'],
105
- securityLevel: 'strict',
106
- });
107 87
}
... ...
\ No newline at end of file