@impermeable/waterproof-editor 0.9.0 → 0.11.0

package/README.md

@@ -1,9 +1,3 @@
-# Important
-WaterproofEditor is currently developed as a part of the [waterproof-vscode](https://www.github.com/impermeable/waterproof-vscode) project, but will be moved into this repository eventually.
-
-At the present this repostiory is very much a work in progress.
-
-
 # WaterproofEditor
 
 This repository contains the source required to construct the editor as is used in the [waterproof-vscode](https://www.github.com/impermeable/waterproof-vscode) extension.
@@ -17,4 +11,4 @@ WaterproofEditor supports and is designed to be used with mixed documents, conta
 
 As WaterproofEditor was designed to be used in an educational setting it supports two additional types of 'cells':
 - **Input areas**: Specific regions of a document meant to be edited.
-- **Hints**: Collapseable regions of a document that can be used to hide parts of a document from a user. This can be used to give hints to students or to simply hide the import of packages/libraries.
+- **Hints**: Collapsible regions of a document that can be used to hide parts of a document from a user. This can be used to give hints to students or to simply hide the import of packages/libraries.

package/dist/DEBUG.d.ts

@@ -0,0 +1 @@
+//# sourceMappingURL=DEBUG.d.ts.map

package/dist/DEBUG.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"DEBUG.d.ts","sourceRoot":"","sources":["../src/DEBUG.ts"],"names":[],"mappings":""}

package/dist/api/types.d.ts

@@ -20,17 +20,32 @@ export type Positioned<A> = {
     pos: number | undefined;
 };
 /**
- * WaterproofDocument is a collection of blocks
+ * A `WaterproofDocument` is a collection of `Block`s. Every Block in this WaterproofDocument will get translated into some ProseMirror node.
+ *
+ * Supported blocks are `HintBlock`, `InputAreaBlock`, `MarkdownBlock`, `CoqBlock` and `MathDisplayBlock`.
+ *
+ * Also see [documentation/UsingWaterproofEditor.md](../../documentation/UsingWaterproofEditor.md)
  */
 export type WaterproofDocument = Block[];
 export type WaterproofCallbacks = {
+    /** Used by the editor to execute a command in the document. */
     executeCommand: (command: string, time: number) => void;
+    /** Executed by the editor when the user asks for help via the keybinding or the context menu entry. */
     executeHelp: () => void;
+    /** Used by the editor to communicate that it is ready. */
     editorReady: () => void;
+    /** The editor will call this function on every change that is made to the underlying document.
+     *
+     * The change can either be a regular document change or a wrapping document change.
+     */
     documentChange: (change: DocChange | WrappingDocChange) => void;
+    /** Only ever used by the editor once an unrecoverable error has occured when mapping changes */
     applyStepError: (errorMessage: string) => void;
+    /** Used by the editor to communicate the current cursor position, `cursorPosition` is an offset based position into the document.  */
     cursorChange: (cursorPosition: number) => void;
+    /** Used to communicate that the linenumbers need to be recomputed for the current document */
     lineNumbers: (linenumbers: Array<number>, version: number) => void;
+    /** Fired by the editor when the viewport (the user visible part of the editor changes) */
     viewportHint: (start: number, end: number) => void;
 };
 export declare abstract class WaterproofMapping {
@@ -54,7 +69,7 @@ export type WaterproofEditorConfig = {
     symbols: Array<WaterproofSymbol>;
     /** How the editor communicates to the parent process */
     api: WaterproofCallbacks;
-    /** Determines how the editor document gets constructed from a string input */
+    /** Determines how the editor document gets constructed from a string input. */
     documentConstructor: (document: string) => WaterproofDocument;
     /** How to construct a mapping for this editor. The mapping is responsible for mapping changes from the underlying ProseMirror instance into changes that can be applied to the underlying document. */
     mapping: new (inputString: string, versionNum: number) => WaterproofMapping;
@@ -101,5 +116,8 @@ export type DiagnosticMessage = {
     positionedDiagnostics: OffsetDiagnostic[];
     version: number;
 };
-export type ThemeStyle = "light" | "dark";
+export declare enum ThemeStyle {
+    Light = 0,
+    Dark = 1
+}
 //# sourceMappingURL=types.d.ts.map

package/dist/api/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/api/types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAC7C,OAAO,EAAE,SAAS,EAAE,iBAAiB,EAAE,QAAQ,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,GAAG,CAAC;AACnG,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAEpC;;;GAGG;AACH,MAAM,MAAM,UAAU,GAAG;IACrB,kDAAkD;IAClD,UAAU,EAAE,MAAM,CAAC;IACnB,gDAAgD;IAChD,QAAQ,EAAE,MAAM,CAAC;IACjB,8EAA8E;IAC9E,SAAS,EAAE,MAAM,CAAC;IAClB,4EAA4E;IAC5E,OAAO,EAAE,MAAM,CAAC;CACnB,CAAC;AAEF,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI;IACxB,GAAG,EAAE,CAAC,CAAC;IACP,GAAG,EAAE,MAAM,GAAG,SAAS,CAAC;CAC3B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAAG,KAAK,EAAE,CAAC;AAEzC,MAAM,MAAM,mBAAmB,GAAG;IAC9B,cAAc,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACxD,WAAW,EAAE,MAAM,IAAI,CAAC;IACxB,WAAW,EAAE,MAAM,IAAI,CAAC;IACxB,cAAc,EAAE,CAAC,MAAM,EAAE,SAAS,GAAG,iBAAiB,KAAK,IAAI,CAAC;IAChE,cAAc,EAAE,CAAC,YAAY,EAAE,MAAM,KAAK,IAAI,CAAC;IAC/C,YAAY,EAAE,CAAC,cAAc,EAAE,MAAM,KAAK,IAAI,CAAA;IAC9C,WAAW,EAAE,CAAC,WAAW,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;IACnE,YAAY,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,KAAK,IAAI,CAAC;CACtD,CAAA;AAED,8BAAsB,iBAAiB;IACnC,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACnD,QAAQ,KAAK,OAAO,IAAI,MAAM,CAAC;IAC/B,QAAQ,CAAC,YAAY,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC;IACjD,QAAQ,CAAC,eAAe,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC;IACpD,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,IAAI,KAAK,SAAS,GAAG,iBAAiB,CAAC;CAClE;AAED;;;;;;GAMG;AACH,MAAM,MAAM,sBAAsB,GAAG;IACjC,qEAAqE;IACrE,WAAW,EAAE,KAAK,CAAC,oBAAoB,CAAC,CAAC;IACzC,2EAA2E;IAC3E,OAAO,EAAE,KAAK,CAAC,gBAAgB,CAAC,CAAC;IACjC,wDAAwD;IACxD,GAAG,EAAE,mBAAmB,CAAC;IACzB,8EAA8E;IAC9E,mBAAmB,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,kBAAkB,CAAC;IAC9D,uMAAuM;IACvM,OAAO,EAAE,KAAK,WAAW,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,KAAK,iBAAiB,CAAC;IAC5E,wDAAwD;IACxD,oBAAoB,CAAC,EAAE,CAAC,WAAW,EAAE,MAAM,KAAK;QAAC,iBAAiB,EAAE,MAAM,CAAC;QAAC,cAAc,EAAE,SAAS,GAAG,iBAAiB,GAAG,SAAS,CAAA;KAAC,CAAC;CAC1I,CAAA;AAED,oBAAY,aAAa;IACrB,IAAI,IAAA;IACJ,IAAI,IAAA;CACP;AAED,MAAM,MAAM,kBAAkB,GAAG;IAC7B,wDAAwD;IACxD,KAAK,EAAE;QACH,KAAK,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,SAAS,EAAE,MAAM,CAAA;SAAE,CAAC;QAC3C,GAAG,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,SAAS,EAAE,MAAM,CAAA;SAAE,CAAC;KAC5C,CAAC;IACF,0CAA0C;IAC1C,IAAI,CAAC,EAAE,mBAAmB,CAAC;CAC9B,CAAA;AAED,MAAM,MAAM,oBAAoB,GAAG;IAC/B,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,kBAAkB,EAAE,CAAC;CAClC,CAAA;AAED,oBAAY,mBAAmB;IAC3B,UAAU,IAAI;IACd,UAAU,IAAA;CACb;AAED,MAAM,WAAW,gBAAgB;IAC7B,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,QAAQ,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,MAAM,iBAAiB,GAAG;IAC5B,qBAAqB,EAAE,gBAAgB,EAAE,CAAC;IAC1C,OAAO,EAAE,MAAM,CAAA;CAClB,CAAA;AAED,MAAM,MAAM,UAAU,GAAG,OAAO,GAAG,MAAM,CAAC"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/api/types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,uBAAuB,CAAC;AAC7C,OAAO,EAAE,SAAS,EAAE,iBAAiB,EAAE,QAAQ,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,GAAG,CAAC;AACnG,OAAO,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AAEpC;;;GAGG;AACH,MAAM,MAAM,UAAU,GAAG;IACrB,kDAAkD;IAClD,UAAU,EAAE,MAAM,CAAC;IACnB,gDAAgD;IAChD,QAAQ,EAAE,MAAM,CAAC;IACjB,8EAA8E;IAC9E,SAAS,EAAE,MAAM,CAAC;IAClB,4EAA4E;IAC5E,OAAO,EAAE,MAAM,CAAC;CACnB,CAAC;AAEF,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI;IACxB,GAAG,EAAE,CAAC,CAAC;IACP,GAAG,EAAE,MAAM,GAAG,SAAS,CAAC;CAC3B,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,MAAM,kBAAkB,GAAG,KAAK,EAAE,CAAC;AAEzC,MAAM,MAAM,mBAAmB,GAAG;IAC9B,+DAA+D;IAC/D,cAAc,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IACxD,uGAAuG;IACvG,WAAW,EAAE,MAAM,IAAI,CAAC;IACxB,0DAA0D;IAC1D,WAAW,EAAE,MAAM,IAAI,CAAC;IACxB;;;OAGG;IACH,cAAc,EAAE,CAAC,MAAM,EAAE,SAAS,GAAG,iBAAiB,KAAK,IAAI,CAAC;IAChE,gGAAgG;IAChG,cAAc,EAAE,CAAC,YAAY,EAAE,MAAM,KAAK,IAAI,CAAC;IAC/C,sIAAsI;IACtI,YAAY,EAAE,CAAC,cAAc,EAAE,MAAM,KAAK,IAAI,CAAA;IAC9C,8FAA8F;IAC9F,WAAW,EAAE,CAAC,WAAW,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;IACnE,0FAA0F;IAC1F,YAAY,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,KAAK,IAAI,CAAC;CACtD,CAAA;AAED,8BAAsB,iBAAiB;IACnC,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACnD,QAAQ,KAAK,OAAO,IAAI,MAAM,CAAC;IAC/B,QAAQ,CAAC,YAAY,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC;IACjD,QAAQ,CAAC,eAAe,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAC;IACpD,QAAQ,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,IAAI,KAAK,SAAS,GAAG,iBAAiB,CAAC;CAClE;AAED;;;;;;GAMG;AACH,MAAM,MAAM,sBAAsB,GAAG;IACjC,qEAAqE;IACrE,WAAW,EAAE,KAAK,CAAC,oBAAoB,CAAC,CAAC;IACzC,2EAA2E;IAC3E,OAAO,EAAE,KAAK,CAAC,gBAAgB,CAAC,CAAC;IACjC,wDAAwD;IACxD,GAAG,EAAE,mBAAmB,CAAC;IACzB,+EAA+E;IAC/E,mBAAmB,EAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,kBAAkB,CAAC;IAC9D,uMAAuM;IACvM,OAAO,EAAE,KAAK,WAAW,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,KAAK,iBAAiB,CAAC;IAC5E,wDAAwD;IACxD,oBAAoB,CAAC,EAAE,CAAC,WAAW,EAAE,MAAM,KAAK;QAAC,iBAAiB,EAAE,MAAM,CAAC;QAAC,cAAc,EAAE,SAAS,GAAG,iBAAiB,GAAG,SAAS,CAAA;KAAC,CAAC;CAC1I,CAAA;AAED,oBAAY,aAAa;IACrB,IAAI,IAAA;IACJ,IAAI,IAAA;CACP;AAED,MAAM,MAAM,kBAAkB,GAAG;IAC7B,wDAAwD;IACxD,KAAK,EAAE;QACH,KAAK,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,SAAS,EAAE,MAAM,CAAA;SAAE,CAAC;QAC3C,GAAG,EAAE;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,SAAS,EAAE,MAAM,CAAA;SAAE,CAAC;KAC5C,CAAC;IACF,0CAA0C;IAC1C,IAAI,CAAC,EAAE,mBAAmB,CAAC;CAC9B,CAAA;AAED,MAAM,MAAM,oBAAoB,GAAG;IAC/B,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,kBAAkB,EAAE,CAAC;CAClC,CAAA;AAED,oBAAY,mBAAmB;IAC3B,UAAU,IAAI;IACd,UAAU,IAAA;CACb;AAED,MAAM,WAAW,gBAAgB;IAC7B,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,QAAQ,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,MAAM,iBAAiB,GAAG;IAC5B,qBAAqB,EAAE,gBAAgB,EAAE,CAAC;IAC1C,OAAO,EAAE,MAAM,CAAA;CAClB,CAAA;AAED,oBAAY,UAAU;IAClB,KAAK,IAAA;IAAE,IAAI,IAAA;CACd"}

package/dist/codeview/code-plugin.d.ts

@@ -2,7 +2,7 @@ import { Schema, Node as ProseNode } from "prosemirror-model";
 import { Plugin as ProsePlugin, PluginKey } from "prosemirror-state";
 import { EditorView } from "prosemirror-view";
 import { CodeBlockView } from "./nodeview";
-import { LineNumber, WaterproofCompletion, WaterproofSymbol } from "../api";
+import { LineNumber, ThemeStyle, WaterproofCompletion, WaterproofSymbol } from "../api";
 import { Completion } from "@codemirror/autocomplete";
 export interface ICodePluginState {
     macros: {
@@ -22,6 +22,6 @@ export declare const CODE_PLUGIN_KEY: PluginKey<ICodePluginState>;
  * Returns a function suitable for passing as a field in `EditorProps.nodeViews`.
  * @see https://prosemirror.net/docs/ref/#view.EditorProps.nodeViews
  */
-export declare function createCoqCodeView(completions: Array<Completion>, symbols: Array<Completion>): (node: ProseNode, view: EditorView, getPos: () => number | undefined) => CodeBlockView;
-export declare const codePlugin: (completions: Array<WaterproofCompletion>, symbols: Array<WaterproofSymbol>) => ProsePlugin<ICodePluginState>;
+export declare function createCoqCodeView(completions: Array<Completion>, symbols: Array<Completion>, initialThemeStyle: ThemeStyle): (node: ProseNode, view: EditorView, getPos: () => number | undefined) => CodeBlockView;
+export declare const codePlugin: (completions: Array<WaterproofCompletion>, symbols: Array<WaterproofSymbol>, initialThemeStyle: ThemeStyle) => ProsePlugin<ICodePluginState>;
 //# sourceMappingURL=code-plugin.d.ts.map

package/dist/codeview/code-plugin.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"code-plugin.d.ts","sourceRoot":"","sources":["../../src/codeview/code-plugin.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,MAAM,EAAE,IAAI,IAAI,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC9D,OAAO,EAAE,MAAM,IAAI,WAAW,EAAE,SAAS,EAAc,MAAM,mBAAmB,CAAC;AACjF,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE3C,OAAO,EAAE,UAAU,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,QAAQ,CAAC;AAC5E,OAAO,EAAE,UAAU,EAAqB,MAAM,0BAA0B,CAAC;AAIzE,MAAM,WAAW,gBAAgB;IAChC,MAAM,EAAE;QAAE,CAAC,GAAG,EAAC,MAAM,GAAI,MAAM,CAAA;KAAE,CAAC;IAClC,kEAAkE;IAClE,eAAe,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC;IACjC,qCAAqC;IACrC,MAAM,EAAE,MAAM,CAAC;IACf,oDAAoD;IACpD,SAAS,EAAE,OAAO,CAAC;IACtB,wCAAwC;IACxC,KAAK,EAAE,UAAU,CAAC;CAClB;AAED,eAAO,MAAM,eAAe,6BAAmE,CAAC;AAEhG;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,IACnF,MAAM,SAAS,EAAE,MAAM,UAAU,EAAE,QAAQ,MAAM,MAAM,GAAG,SAAS,KAAG,aAAa,CAe3F;AAiED,eAAO,MAAM,UAAU,GAAI,aAAa,KAAK,CAAC,oBAAoB,CAAC,EAAE,SAAS,KAAK,CAAC,gBAAgB,CAAC,kCAOpG,CAAC"}
+{"version":3,"file":"code-plugin.d.ts","sourceRoot":"","sources":["../../src/codeview/code-plugin.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,MAAM,EAAE,IAAI,IAAI,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC9D,OAAO,EAAE,MAAM,IAAI,WAAW,EAAE,SAAS,EAAc,MAAM,mBAAmB,CAAC;AACjF,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE3C,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,QAAQ,CAAC;AACxF,OAAO,EAAE,UAAU,EAAqB,MAAM,0BAA0B,CAAC;AAIzE,MAAM,WAAW,gBAAgB;IAChC,MAAM,EAAE;QAAE,CAAC,GAAG,EAAC,MAAM,GAAI,MAAM,CAAA;KAAE,CAAC;IAClC,kEAAkE;IAClE,eAAe,EAAE,GAAG,CAAC,aAAa,CAAC,CAAC;IACjC,qCAAqC;IACrC,MAAM,EAAE,MAAM,CAAC;IACf,oDAAoD;IACpD,SAAS,EAAE,OAAO,CAAC;IACtB,wCAAwC;IACxC,KAAK,EAAE,UAAU,CAAC;CAClB;AAED,eAAO,MAAM,eAAe,6BAAmE,CAAC;AAEhG;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,EAAE,iBAAiB,EAAE,UAAU,IAClH,MAAM,SAAS,EAAE,MAAM,UAAU,EAAE,QAAQ,MAAM,MAAM,GAAG,SAAS,KAAG,aAAa,CAe3F;AAiED,eAAO,MAAM,UAAU,GAAI,aAAa,KAAK,CAAC,oBAAoB,CAAC,EAAE,SAAS,KAAK,CAAC,gBAAgB,CAAC,EAAE,mBAAmB,UAAU,kCAOnI,CAAC"}

package/dist/codeview/lang-pack/index.d.ts

@@ -1,7 +1,8 @@
 import { HighlightStyle, LRLanguage, LanguageSupport } from "@codemirror/language";
+import { ThemeStyle } from "../../api";
 export declare const highlight_dark: HighlightStyle;
 export declare const highlight_light: HighlightStyle;
 export declare const coqLanguage: LRLanguage;
 export declare function coq(): LanguageSupport;
-export declare function coqSyntaxHighlighting(theme: string): import("@codemirror/state").Extension;
+export declare function coqSyntaxHighlighting(themeStyle: ThemeStyle): import("@codemirror/state").Extension;
 //# sourceMappingURL=index.d.ts.map

package/dist/codeview/lang-pack/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/codeview/lang-pack/index.ts"],"names":[],"mappings":"AACA,OAAO,EACH,cAAc,EAAE,UAAU,EAAE,eAAe,EAC9C,MAAM,sBAAsB,CAAA;AAkB7B,eAAO,MAAM,cAAc,gBAOzB,CAAA;AAGF,eAAO,MAAM,eAAe,gBAO1B,CAAC;AAGH,eAAO,MAAM,WAAW,YA4BtB,CAAA;AAEF,wBAAgB,GAAG,oBAElB;AAED,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,MAAM,yCAGlD"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/codeview/lang-pack/index.ts"],"names":[],"mappings":"AACA,OAAO,EACH,cAAc,EAAE,UAAU,EAAE,eAAe,EAC9C,MAAM,sBAAsB,CAAA;AAE7B,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAA;AAqBtC,eAAO,MAAM,cAAc,gBAUzB,CAAA;AAGF,eAAO,MAAM,eAAe,gBAU1B,CAAC;AAGH,eAAO,MAAM,WAAW,YAqFtB,CAAA;AAEF,wBAAgB,GAAG,oBAElB;AAED,wBAAgB,qBAAqB,CAAC,UAAU,EAAE,UAAU,yCAG3D"}

package/dist/codeview/lang-pack/print-grammar.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=print-grammar.d.ts.map

package/dist/codeview/lang-pack/print-grammar.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"print-grammar.d.ts","sourceRoot":"","sources":["../../../src/codeview/lang-pack/print-grammar.ts"],"names":[],"mappings":""}

package/dist/codeview/lang-pack/syntax.terms.d.ts

@@ -1,2 +1,2 @@
-export declare const Comment = 1, ProofandQed = 2, Program = 3, Sentence = 4, WaterproofTactic = 5, TacticBullet = 6, TacticEnd = 7, TacticInput = 8, TacticLabelAs = 10, TacticMiddleDefine = 12, TacticMiddleExpand = 13, TacticMiddleObtain = 14, TacticMiddleByOrSince = 15, TacticMiddleBecauseFirst = 17, TacticMiddleBecauseSecond = 19, TacticMiddleEither = 21, Lemma = 23, LemmaStatement = 24, LemmaEnd = 25, Statement = 26, StatementInput = 27, StatementEnd = 28;
+export declare const Program = 1, Sentence = 2, Comment = 3, FocusOperation = 4, Bullet = 5, FocusBrace = 6, UnfocusBrace = 7, WaterproofTactic = 8, Argument = 16, And = 17, That = 19, As = 23, DefineSymbol = 30, In = 31, All = 35, AccordingTo = 37, SuchAn = 38, Magic = 40, It = 41, We = 44, Both = 48, Or = 50, Vernac = 52, Lemmas = 69, LemmaKeyword = 70, Definitions = 74, DefinitionKeyword = 75, ArgumentEnd = 79;
 //# sourceMappingURL=syntax.terms.d.ts.map

package/dist/codeview/lang-pack/syntax.terms.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"syntax.terms.d.ts","sourceRoot":"","sources":["../../../src/codeview/lang-pack/syntax.terms.ts"],"names":[],"mappings":"AACA,eAAO,MACL,OAAO,IAAI,EACX,WAAW,IAAI,EACf,OAAO,IAAI,EACX,QAAQ,IAAI,EACZ,gBAAgB,IAAI,EACpB,YAAY,IAAI,EAChB,SAAS,IAAI,EACb,WAAW,IAAI,EACf,aAAa,KAAK,EAClB,kBAAkB,KAAK,EACvB,kBAAkB,KAAK,EACvB,kBAAkB,KAAK,EACvB,qBAAqB,KAAK,EAC1B,wBAAwB,KAAK,EAC7B,yBAAyB,KAAK,EAC9B,kBAAkB,KAAK,EACvB,KAAK,KAAK,EACV,cAAc,KAAK,EACnB,QAAQ,KAAK,EACb,SAAS,KAAK,EACd,cAAc,KAAK,EACnB,YAAY,KAAK,CAAA"}
+{"version":3,"file":"syntax.terms.d.ts","sourceRoot":"","sources":["../../../src/codeview/lang-pack/syntax.terms.ts"],"names":[],"mappings":"AACA,eAAO,MACL,OAAO,IAAI,EACX,QAAQ,IAAI,EACZ,OAAO,IAAI,EACX,cAAc,IAAI,EAClB,MAAM,IAAI,EACV,UAAU,IAAI,EACd,YAAY,IAAI,EAChB,gBAAgB,IAAI,EACpB,QAAQ,KAAK,EACb,GAAG,KAAK,EACR,IAAI,KAAK,EACT,EAAE,KAAK,EACP,YAAY,KAAK,EACjB,EAAE,KAAK,EACP,GAAG,KAAK,EACR,WAAW,KAAK,EAChB,MAAM,KAAK,EACX,KAAK,KAAK,EACV,EAAE,KAAK,EACP,EAAE,KAAK,EACP,IAAI,KAAK,EACT,EAAE,KAAK,EACP,MAAM,KAAK,EACX,MAAM,KAAK,EACX,YAAY,KAAK,EACjB,WAAW,KAAK,EAChB,iBAAiB,KAAK,EACtB,WAAW,KAAK,CAAA"}

package/dist/codeview/lang-pack/test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=test.d.ts.map

package/dist/codeview/lang-pack/test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"test.d.ts","sourceRoot":"","sources":["../../../src/codeview/lang-pack/test.ts"],"names":[],"mappings":""}

package/dist/codeview/nodeview.d.ts

@@ -16,9 +16,8 @@ export declare class CodeBlockView extends EmbeddedCodeMirrorEditor {
     private _readOnlyCompartment;
     private _themeCompartment;
     private _diags;
-    private _themeColor;
     private debouncer;
-    constructor(node: Node, view: EditorView, getPos: (() => number | undefined), schema: Schema, completions: Array<Completion>, symbols: Array<Completion>);
+    constructor(node: Node, view: EditorView, getPos: (() => number | undefined), schema: Schema, completions: Array<Completion>, symbols: Array<Completion>, initialThemeStyle: ThemeStyle);
     private partOfInputArea;
     handleSnippet(template: string, posFrom: number, posTo: number, completion?: Completion | undefined): void;
     private lintingFunction;

package/dist/codeview/nodeview.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"nodeview.d.ts","sourceRoot":"","sources":["../../src/codeview/nodeview.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAuC,gBAAgB,EAA6C,MAAM,0BAA0B,CAAC;AAQxJ,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAG7C,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAKlE,OAAO,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AAEpC;;;;GAIG;AACH,qBAAa,aAAc,SAAQ,wBAAwB;IAC1D,GAAG,EAAE,WAAW,CAAC;IAEjB,OAAO,CAAC,sBAAsB,CAAc;IAC5C,OAAO,CAAC,qBAAqB,CAAY;IACzC,OAAO,CAAC,mBAAmB,CAAoB;IAC/C,OAAO,CAAC,oBAAoB,CAAc;IAC1C,OAAO,CAAC,iBAAiB,CAAc;IACvC,OAAO,CAAC,MAAM,CAAgB;IAC9B,OAAO,CAAC,WAAW,CAAa;IAEhC,OAAO,CAAC,SAAS,CAAY;gBAG5B,IAAI,EAAE,IAAI,EACV,IAAI,EAAE,UAAU,EAChB,MAAM,EAAE,CAAC,MAAM,MAAM,GAAG,SAAS,CAAC,EAClC,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC,EAC9B,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC;IAkK3B,OAAO,CAAC,eAAe;IAWhB,aAAa,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,CAAC,EAAG,UAAU,GAAG,SAAS;IAQ3G,OAAO,CAAC,eAAe,CAEtB;IAED;;OAEG;IACH,iBAAiB,IAAI,IAAI;IASzB;;OAEG;IACI,qBAAqB,CAAC,KAAK,EAAE,UAAU,GAAG,IAAI;IAQrD;;OAEG;IACH,iBAAiB,CAAC,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,GAAG,IAAI;IAWlE;;OAEG;IACH,iBAAiB,CAAC,cAAc,EAAE,UAAU,EAAE,GAAG,IAAI;IAIrD;;;OAGG;IACH,uBAAuB,EAAE,gBAAgB,CAYvC;IAEH;;;;;;WAMI;IACI,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM;IA0E9E,OAAO,CAAC,oBAAoB;IAyB5B;;;OAGG;IACH,OAAO,CAAC,kBAAkB;IAM1B;;OAEG;IACI,cAAc;CAIrB"}
+{"version":3,"file":"nodeview.d.ts","sourceRoot":"","sources":["../../src/codeview/nodeview.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAuC,gBAAgB,EAA6C,MAAM,0BAA0B,CAAC;AAQxJ,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAG7C,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAIlE,OAAO,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AAEpC;;;;GAIG;AACH,qBAAa,aAAc,SAAQ,wBAAwB;IAC1D,GAAG,EAAE,WAAW,CAAC;IAEjB,OAAO,CAAC,sBAAsB,CAAc;IAC5C,OAAO,CAAC,qBAAqB,CAAY;IACzC,OAAO,CAAC,mBAAmB,CAAoB;IAC/C,OAAO,CAAC,oBAAoB,CAAc;IAC1C,OAAO,CAAC,iBAAiB,CAAc;IACvC,OAAO,CAAC,MAAM,CAAgB;IAC9B,OAAO,CAAC,SAAS,CAAY;gBAG5B,IAAI,EAAE,IAAI,EACV,IAAI,EAAE,UAAU,EAChB,MAAM,EAAE,CAAC,MAAM,MAAM,GAAG,SAAS,CAAC,EAClC,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC,EAC9B,OAAO,EAAE,KAAK,CAAC,UAAU,CAAC,EAC1B,iBAAiB,EAAE,UAAU;IA+J9B,OAAO,CAAC,eAAe;IAWhB,aAAa,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,CAAC,EAAG,UAAU,GAAG,SAAS;IAQ3G,OAAO,CAAC,eAAe,CAEtB;IAED;;OAEG;IACH,iBAAiB,IAAI,IAAI;IASzB;;OAEG;IACI,qBAAqB,CAAC,KAAK,EAAE,UAAU,GAAG,IAAI;IAQrD;;OAEG;IACH,iBAAiB,CAAC,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,GAAG,IAAI;IAWlE;;OAEG;IACH,iBAAiB,CAAC,cAAc,EAAE,UAAU,EAAE,GAAG,IAAI;IAIrD;;;OAGG;IACH,uBAAuB,EAAE,gBAAgB,CAYvC;IAEH;;;;;;WAMI;IACI,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM;IA0E9E,OAAO,CAAC,oBAAoB;IAyB5B;;;OAGG;IACH,OAAO,CAAC,kBAAkB;IAM1B;;OAEG;IACI,cAAc;CAIrB"}

package/dist/commands/utils.d.ts

@@ -0,0 +1,14 @@
+import { Node, NodeType } from "prosemirror-model";
+import { TagConfiguration } from "../api";
+import { Selection } from "prosemirror-state";
+export declare function getSurroundingNodes(sel: Selection): {
+    before: Node | null;
+    after: Node | null;
+};
+export declare function getParentAndIndex(sel: Selection): {
+    parent: Node;
+    index: number;
+} | null;
+export declare function needsNewlineBefore(nodeType: NodeType, tagConf: TagConfiguration): boolean;
+export declare function needsNewlineAfter(nodeType: NodeType, tagConf: TagConfiguration): boolean;
+//# sourceMappingURL=utils.d.ts.map

package/dist/commands/utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../src/commands/utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,gBAAgB,EAAE,MAAM,QAAQ,CAAC;AAE1C,OAAO,EAAiB,SAAS,EAAiB,MAAM,mBAAmB,CAAC;AAE5E,wBAAgB,mBAAmB,CAAC,GAAG,EAAE,SAAS,GAAG;IAAC,MAAM,EAAE,IAAI,GAAG,IAAI,CAAC;IAAC,KAAK,EAAE,IAAI,GAAG,IAAI,CAAA;CAAC,CAQ7F;AAED,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,SAAS,GAAG;IAAC,MAAM,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAC,GAAG,IAAI,CAWtF;AAED,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAezF;AAED,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAexF"}

package/dist/editor.d.ts

@@ -20,6 +20,7 @@ type DiagnosticObjectProse = {
  * WaterproofEditor class. Configured via the WaterproofEditorConfig object.
  */
 export declare class WaterproofEditor {
+    private readonly initialThemeStyle;
     private _editorConfig;
     private _schema;
     private _editorElem;
@@ -34,7 +35,7 @@ export declare class WaterproofEditor {
      * @param editorElement The HTML element where the editor will be inserted in the document
      * @param config The configuration of the editor to use.
      */
-    constructor(editorElement: HTMLElement, config: WaterproofEditorConfig);
+    constructor(editorElement: HTMLElement, config: WaterproofEditorConfig, initialThemeStyle: ThemeStyle);
     init(content: string, version?: number): void;
     get state(): EditorState | undefined;
     createProseMirrorEditor(proseDoc: ProseNode): void;

package/dist/editor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"editor.d.ts","sourceRoot":"","sources":["../src/editor.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,WAAW,EAAU,IAAI,IAAI,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC3E,OAAO,EAAgB,WAAW,EAAiB,MAAM,EAAE,SAAS,EAA8B,MAAM,mBAAmB,CAAC;AAM5H,OAAO,EAAa,UAAU,EAAE,eAAe,EAAE,oBAAoB,EAAqB,aAAa,EAAE,QAAQ,EAAE,MAAM,OAAO,CAAC;AAcjI,OAAO,0BAA0B,CAAC;AAClC,OAAO,wCAAwC,CAAC;AAChD,OAAO,UAAU,CAAC;AAKlB,OAAO,EAAiC,sBAAsB,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,OAAO,CAAC;AAC7G,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAGtD,OAAO,EAAE,YAAY,EAAE,MAAM,OAAO,CAAC;AAErC,iGAAiG;AACjG,KAAK,qBAAqB,GAAG;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,WAAW,CAAC;IAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAA;CAAC,CAAC;AAEvI;;GAEG;AACH,qBAAa,gBAAgB;IAE5B,OAAO,CAAC,aAAa,CAAyB;IAG9C,OAAO,CAAC,OAAO,CAAS;IAGxB,OAAO,CAAC,WAAW,CAAc;IAGjC,OAAO,CAAC,KAAK,CAAyB;IAGtC,OAAO,CAAC,WAAW,CAA6B;IAGhD,OAAO,CAAC,QAAQ,CAAgC;IAGhD,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC;IAEzB,OAAO,CAAC,uBAAuB,CAA+B;IAE9D,OAAO,CAAC,iBAAiB,CAAkB;IAE3C;;;;OAIG;gBACU,aAAa,EAAE,WAAW,EAAE,MAAM,EAAE,sBAAsB;IAuCvE,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,GAAE,MAAU;IA6CzC,IAAI,KAAK,IAAI,WAAW,GAAG,SAAS,CAEnC;IAED,uBAAuB,CAAC,QAAQ,EAAE,SAAS;IA+E3C,uCAAuC;IACvC,WAAW,CAAC,QAAQ,EAAE,SAAS,GAAG,WAAW;IAQ7C,iEAAiE;IACjE,kBAAkB,IAAI,MAAM,EAAE;IAgCvB,oBAAoB,CAAC,KAAK,EAAE,UAAU;IAc7C;;;OAGG;IACI,aAAa,CAAC,QAAQ,EAAE,MAAM;IAiCrC,wCAAwC;IACjC,YAAY,CAAC,GAAG,EAAE,SAAS,GAAI,IAAI;IAO1C,gFAAgF;IACzE,eAAe;IAiBrB,OAAO,CAAC,sBAAsB;IAyE/B;;;OAGG;IACI,iBAAiB,CAAC,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC;IAUvD,+GAA+G;IACxG,cAAc,CAAC,GAAG,EAAE,UAAU;IAUrC;;;OAGG;IACI,mBAAmB,CAAC,IAAI,EAAE,aAAa;IAOtC,YAAY,CAAC,WAAW,EAAE,MAAM;IAqCxC;;;;;OAKG;IACI,YAAY,CAAC,aAAa,EAAE,MAAM,GAAG,OAAO;IAmDnD;;;OAGG;IACI,kBAAkB,CAAC,IAAI,EAAE,OAAO;IAUvC;;;OAGG;IACI,gBAAgB,CAAC,IAAI,EAAE,OAAO;IAQrC,OAAO,CAAC,qCAAqC;IAO7C;;;;OAIG;IACI,kBAAkB,CAAC,SAAS,EAAE,OAAO,GAAI,IAAI;IAQpD;;;;OAIG;IACI,iBAAiB,CAAC,cAAc,EAAE,oBAAoB,GAAG,IAAI;IAS7D,kBAAkB,CAAC,MAAM,EAAE,YAAY,GAAI,IAAI;IAQtD;;;;OAIG;IACI,eAAe,CAAC,MAAM,EAAE,eAAe,EAAE,GAAI,IAAI;IAQxD;;;;OAIG;IACI,mBAAmB,CAAC,GAAG,EAAE,iBAAiB;IA8D1C,qBAAqB,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,eAAe,GAAE,MAAU,GAAG,KAAK,CAAC,qBAAqB,CAAC;IAO3G,cAAc,CAAC,OAAO,EAAE,MAAM;IAI9B,WAAW;CAGlB"}
+{"version":3,"file":"editor.d.ts","sourceRoot":"","sources":["../src/editor.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,WAAW,EAAU,IAAI,IAAI,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAC3E,OAAO,EAAgB,WAAW,EAAiB,MAAM,EAAE,SAAS,EAA8B,MAAM,mBAAmB,CAAC;AAM5H,OAAO,EAAa,UAAU,EAAE,eAAe,EAAE,oBAAoB,EAAqB,aAAa,EAAE,QAAQ,EAAE,MAAM,OAAO,CAAC;AAcjI,OAAO,0BAA0B,CAAC;AAClC,OAAO,wCAAwC,CAAC;AAChD,OAAO,UAAU,CAAC;AAKlB,OAAO,EAAiC,sBAAsB,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,OAAO,CAAC;AAC7G,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAEtD,OAAO,EAAE,YAAY,EAAE,MAAM,OAAO,CAAC;AAErC,iGAAiG;AACjG,KAAK,qBAAqB,GAAG;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,WAAW,CAAC;IAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAA;CAAC,CAAC;AAEvI;;GAEG;AACH,qBAAa,gBAAgB;IA+B6C,OAAO,CAAC,QAAQ,CAAC,iBAAiB;IA7B3G,OAAO,CAAC,aAAa,CAAyB;IAG9C,OAAO,CAAC,OAAO,CAAS;IAGxB,OAAO,CAAC,WAAW,CAAc;IAGjC,OAAO,CAAC,KAAK,CAAyB;IAGtC,OAAO,CAAC,WAAW,CAA6B;IAGhD,OAAO,CAAC,QAAQ,CAAgC;IAGhD,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC;IAEzB,OAAO,CAAC,uBAAuB,CAA+B;IAE9D,OAAO,CAAC,iBAAiB,CAAkB;IAE3C;;;;OAIG;gBACU,aAAa,EAAE,WAAW,EAAE,MAAM,EAAE,sBAAsB,EAAmB,iBAAiB,EAAE,UAAU;IAuCvH,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,GAAE,MAAU;IA6CzC,IAAI,KAAK,IAAI,WAAW,GAAG,SAAS,CAEnC;IAED,uBAAuB,CAAC,QAAQ,EAAE,SAAS;IA+E3C,uCAAuC;IACvC,WAAW,CAAC,QAAQ,EAAE,SAAS,GAAG,WAAW;IAQ7C,iEAAiE;IACjE,kBAAkB,IAAI,MAAM,EAAE;IAgCvB,oBAAoB,CAAC,KAAK,EAAE,UAAU;IAa7C;;;OAGG;IACI,aAAa,CAAC,QAAQ,EAAE,MAAM;IAiCrC,wCAAwC;IACjC,YAAY,CAAC,GAAG,EAAE,SAAS,GAAI,IAAI;IAO1C,gFAAgF;IACzE,eAAe;IAiBrB,OAAO,CAAC,sBAAsB;IAyE/B;;;OAGG;IACI,iBAAiB,CAAC,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC;IAUvD,+GAA+G;IACxG,cAAc,CAAC,GAAG,EAAE,UAAU;IAUrC;;;OAGG;IACI,mBAAmB,CAAC,IAAI,EAAE,aAAa;IAOtC,YAAY,CAAC,WAAW,EAAE,MAAM;IAqCxC;;;;;OAKG;IACI,YAAY,CAAC,aAAa,EAAE,MAAM,GAAG,OAAO;IAmDnD;;;OAGG;IACI,kBAAkB,CAAC,IAAI,EAAE,OAAO;IAUvC;;;OAGG;IACI,gBAAgB,CAAC,IAAI,EAAE,OAAO;IAQrC,OAAO,CAAC,qCAAqC;IAO7C;;;;OAIG;IACI,kBAAkB,CAAC,SAAS,EAAE,OAAO,GAAI,IAAI;IAQpD;;;;OAIG;IACI,iBAAiB,CAAC,cAAc,EAAE,oBAAoB,GAAG,IAAI;IAS7D,kBAAkB,CAAC,MAAM,EAAE,YAAY,GAAI,IAAI;IAQtD;;;;OAIG;IACI,eAAe,CAAC,MAAM,EAAE,eAAe,EAAE,GAAI,IAAI;IAQxD;;;;OAIG;IACI,mBAAmB,CAAC,GAAG,EAAE,iBAAiB;IA8D1C,qBAAqB,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,eAAe,GAAE,MAAU,GAAG,KAAK,CAAC,qBAAqB,CAAC;IAO3G,cAAc,CAAC,OAAO,EAAE,MAAM;IAI9B,WAAW;CAGlB"}