index.html (1.6 KB)

 1 <!DOCTYPE html>
 2 <html lang="en">
 3 <head>
 4 	<meta charset="UTF-8">
 5 	<meta name="viewport" content="width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=no, viewport-fit=cover">
 6 	<title>Web Workshop</title>
 7 	<link rel="icon" href="resources/icons/construction.png">
 8 	<link rel="apple-touch-icon" href="resources/icons/construction_padded.png">
 9 	<link rel="manifest" href="manifest.json">
10 	<script>
11 		if (/iPad|iPhone|iPod/.test(navigator.userAgent) ||
12 			(/Macintosh/.test(navigator.userAgent) && navigator.maxTouchPoints > 1)) {
13 			document.documentElement.classList.add("is-ios");
14 		}
15 	</script>
16 	<link rel="stylesheet" href="resources/css/styles.css">
17 	<script type="module">
18 		import {EditorView, keymap, placeholder, lineNumbers, Decoration, EditorState, Compartment, defaultKeymap, indentWithTab, undo, redo, undoDepth, redoDepth, history, historyKeymap, closeBrackets, closeBracketsKeymap, html, githubDark, indentUnit, search, searchKeymap, closeSearchPanel, openSearchPanel} from "./resources/js/codemirror-bundle.js"
19 		window.CodeMirror = {EditorView, EditorState, Compartment, keymap, defaultKeymap, indentWithTab, html, githubDark, indentUnit, placeholder, undo, redo, undoDepth, redoDepth, history, historyKeymap, closeBrackets, closeBracketsKeymap, search, searchKeymap, closeSearchPanel, openSearchPanel, lineNumbers, Decoration};
20 	</script>
21 </head>
22 <body>
23 	<div id="status-bar-tint" aria-hidden="true"></div>
24 
25 	<div class="editor-pane">
26 		<div id="editor"></div>
27 	</div>
28 
29 	<div class="preview-pane">
30 		<iframe id="preview"></iframe>
31 	</div>
32 
33 	<script type="module" src="resources/js/main.js"></script>
34 </body>
35 </html>