Manual: Hide export button.

manual/examples/resources/editor.html

@@ -190,6 +190,9 @@ button:focus {
     border-bottom: none !important;
     border-top: 5px solid #666 !important;
 }
+.button-export {
+	display: none; /* TODO: Fix export with import maps */
+}
 .button-result {
     margin-left: 2em !important;
 }
@@ -281,4 +284,4 @@ button:focus {
 <script src="editor-settings.js"></script>
 <script src="editor.js"></script>
 
-</html>
+</html>