diff --git a/docs/overrides/editor.html b/docs/overrides/editor.html deleted file mode 100644 index d9dab5a..0000000 --- a/docs/overrides/editor.html +++ /dev/null @@ -1,44 +0,0 @@ -{% extends "base.html" %} - -{% block libs %} - {{ super() }} - <script src="https://eclipsefdn.github.io/otterdog-assets/third_party/js-yaml/dist/js-yaml.min.js"></script> - <script src="https://eclipsefdn.github.io/otterdog-assets/third_party/CodeMirror/lib/codemirror.js"></script> - <script src="https://eclipsefdn.github.io/otterdog-assets/third_party/CodeMirror/mode/yaml/yaml.js"></script> - <script src="https://eclipsefdn.github.io/otterdog-assets/third_party/CodeMirror/addon/edit/matchbrackets.js"></script> - <script src="https://eclipsefdn.github.io/otterdog-assets/js/codemirror-mode-jsonnet.js"></script> - - <!-- Executing Jsonnet --> - <script src="https://eclipsefdn.github.io/otterdog-assets/js/wasm_exec.js"></script> - <script> - if (!WebAssembly.instantiateStreaming) { - // This function was observed to be missing on Safari 14. - WebAssembly.instantiateStreaming = async (resp, importObject) => { - const source = await (await resp).arrayBuffer(); - return await WebAssembly.instantiate(source, importObject); - }; - } - const go = new Go(); - WebAssembly.instantiateStreaming(fetch("https://eclipsefdn.github.io/otterdog-assets/js/libjsonnet.wasm"), go.importObject).then((result) => { - go.run(result.instance); - }); - </script> - <script src="https://eclipsefdn.github.io/otterdog-assets/js/demo.js"></script> -{% endblock %} - -{% block styles %} - <!-- Google Fonts --> - <link href="https://fonts.googleapis.com/css?family=Open+Sans:400italic,600italic,700italic,400,600,700" rel="stylesheet" type="text/css"> - - <!-- jsonnet.org stylesheet --> - <link rel="stylesheet" type="text/css" href="https://eclipsefdn.github.io/otterdog-assets/css/doc.css" /> - <link rel="stylesheet" media="print" href="https://eclipsefdn.github.io/otterdog-assets/css/desktop.css"> - <!-- The extra 16px is to account for the scrollbar, which is not always included. --> - <link rel="stylesheet" media="screen and (min-width: 1296px)" href="https://eclipsefdn.github.io/otterdog-assets/css/desktop.css"> - <link rel="stylesheet" media="screen and (max-width: 1295px) and (min-width: 720px)" href="https://eclipsefdn.github.io/otterdog-assets/css/cellphone.css"> - <link rel="stylesheet" media="screen and (max-width: 719px)" href="https://eclipsefdn.github.io/otterdog-assets/css/cellphone-small.css"> - {{ super() }} - - <!-- CodeMirror --> - <link rel="stylesheet" href="https://eclipsefdn.github.io/otterdog-assets/third_party/CodeMirror/lib/codemirror.css"> -{% endblock %}