myst-to-react 0.2.3 → 0.2.4

package/dist/cjs/heading.d.ts

@@ -2,7 +2,7 @@
 import { Heading } from 'myst-spec';
 import type { NodeRenderer } from '@myst-theme/providers';
 export declare function HashLink({ id, kind, title, children, hover, className, hideInPopup, }: {
-    id: string;
+    id?: string;
     kind: string;
     title?: string;
     hover?: boolean;

package/dist/cjs/heading.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"heading.d.ts","sourceRoot":"","sources":["../../src/heading.tsx"],"names":[],"mappings":";AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAK1D,wBAAgB,QAAQ,CAAC,EACvB,EAAE,EACF,IAAI,EACJ,KAA8B,EAC9B,QAAc,EACd,KAAK,EACL,SAAyB,EACzB,WAAW,GACZ,EAAE;IACD,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,QAAQ,CAAC,EAAE,GAAG,GAAG,GAAG,GAAG,KAAK,CAAC,SAAS,CAAC;IACvC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,WAAW,CAAC,EAAE,OAAO,CAAC;CACvB,sBAsBA;AAED,QAAA,MAAM,OAAO,EAAE,YAAY,CAAC,OAAO,CAoBlC,CAAC;AAEF,QAAA,MAAM,iBAAiB;;CAEtB,CAAC;AAEF,eAAe,iBAAiB,CAAC"}
+{"version":3,"file":"heading.d.ts","sourceRoot":"","sources":["../../src/heading.tsx"],"names":[],"mappings":";AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAK1D,wBAAgB,QAAQ,CAAC,EACvB,EAAE,EACF,IAAI,EACJ,KAA8B,EAC9B,QAAc,EACd,KAAK,EACL,SAAyB,EACzB,WAAW,GACZ,EAAE;IACD,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,QAAQ,CAAC,EAAE,GAAG,GAAG,GAAG,GAAG,KAAK,CAAC,SAAS,CAAC;IACvC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,WAAW,CAAC,EAAE,OAAO,CAAC;CACvB,sBAsBA;AAED,QAAA,MAAM,OAAO,EAAE,YAAY,CAAC,OAAO,CAoBlC,CAAC;AAEF,QAAA,MAAM,iBAAiB;;CAEtB,CAAC;AAEF,eAAe,iBAAiB,CAAC"}

package/dist/cjs/heading.js

@@ -10,7 +10,7 @@ const react_1 = require("react");
 const classnames_1 = __importDefault(require("classnames"));
 function HashLink({ id, kind, title = `Link to this ${kind}`, children = '¶', hover, className = 'font-normal', hideInPopup, }) {
     const { inCrossRef } = (0, providers_1.useXRefState)();
-    if (inCrossRef) {
+    if (inCrossRef || !id) {
         // If we are in a cross-reference pop-out, either hide hash link
         // or return something that is **not** a link
         return hideInPopup ? null : ((0, jsx_runtime_1.jsx)("span", Object.assign({ className: (0, classnames_1.default)('select-none', className) }, { children: children })));

package/dist/cjs/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.tsx"],"names":[],"mappings":";AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAqBjD,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACjD,OAAO,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AACnC,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC3D,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAC;AAEzC,eAAO,MAAM,iBAAiB,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAmB1D,CAAC;AAEF,wBAAgB,QAAQ,CACtB,IAAI,EAAE,aAAa,GAAG,IAAI,EAC1B,SAAS,GAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAqB,6BAU5D"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.tsx"],"names":[],"mappings":";AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAsBjD,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACjD,OAAO,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AACnC,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC3D,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAC;AAEzC,eAAO,MAAM,iBAAiB,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAoB1D,CAAC;AAEF,wBAAgB,QAAQ,CACtB,IAAI,EAAE,aAAa,GAAG,IAAI,EAC1B,SAAS,GAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAqB,6BAU5D"}

package/dist/cjs/index.js

@@ -23,6 +23,7 @@ const crossReference_1 = __importDefault(require("./crossReference"));
 const tabs_1 = __importDefault(require("./tabs"));
 const extensions_1 = __importDefault(require("./extensions"));
 const inlineExpression_1 = __importDefault(require("./inlineExpression"));
+const proof_1 = __importDefault(require("./proof"));
 var CopyIcon_1 = require("./components/CopyIcon");
 Object.defineProperty(exports, "CopyIcon", { enumerable: true, get: function () { return CopyIcon_1.CopyIcon; } });
 var code_2 = require("./code");
@@ -35,7 +36,7 @@ Object.defineProperty(exports, "Details", { enumerable: true, get: function () {
 var tabs_2 = require("./tabs");
 Object.defineProperty(exports, "TabSet", { enumerable: true, get: function () { return tabs_2.TabSet; } });
 Object.defineProperty(exports, "TabItem", { enumerable: true, get: function () { return tabs_2.TabItem; } });
-exports.DEFAULT_RENDERERS = Object.assign(Object.assign(Object.assign(Object.assign(Object.assign(Object.assign(Object.assign(Object.assign(Object.assign(Object.assign(Object.assign(Object.assign(Object.assign(Object.assign(Object.assign(Object.assign(Object.assign(Object.assign({}, basic_1.default), image_1.default), links_1.default), code_1.default), math_1.default), cite_1.default), tabs_1.default), iframe_1.default), footnotes_1.default), admonitions_1.default), reactive_1.default), heading_1.default), crossReference_1.default), dropdown_1.default), card_1.default), grid_1.default), inlineExpression_1.default), extensions_1.default);
+exports.DEFAULT_RENDERERS = Object.assign(Object.assign(Object.assign(Object.assign(Object.assign(Object.assign(Object.assign(Object.assign(Object.assign(Object.assign(Object.assign(Object.assign(Object.assign(Object.assign(Object.assign(Object.assign(Object.assign(Object.assign(Object.assign({}, basic_1.default), image_1.default), links_1.default), code_1.default), math_1.default), cite_1.default), tabs_1.default), iframe_1.default), footnotes_1.default), admonitions_1.default), reactive_1.default), heading_1.default), crossReference_1.default), dropdown_1.default), card_1.default), grid_1.default), inlineExpression_1.default), extensions_1.default), proof_1.default);
 function useParse(node, renderers = exports.DEFAULT_RENDERERS) {
     if (!node)
         return null;

package/dist/cjs/proof.d.ts

@@ -0,0 +1,36 @@
+import type { Admonition as AdmonitionSpec } from 'myst-spec';
+import React from 'react';
+import type { NodeRenderer } from '@myst-theme/providers';
+export declare enum ProofKind {
+    proof = "proof",
+    axiom = "axiom",
+    lemma = "lemma",
+    definition = "definition",
+    criterion = "criterion",
+    remark = "remark",
+    conjecture = "conjecture",
+    corollary = "corollary",
+    algorithm = "algorithm",
+    example = "example",
+    property = "property",
+    observation = "observation",
+    proposition = "proposition",
+    assumption = "assumption",
+    theorem = "theorem"
+}
+type Color = 'gray' | 'blue' | 'green' | 'yellow' | 'orange' | 'red' | 'purple';
+export declare function Proof({ title, kind, color, dropdown, children, identifier, enumerator, }: {
+    title?: React.ReactNode;
+    color?: Color;
+    kind?: ProofKind;
+    children: React.ReactNode;
+    dropdown?: boolean;
+    identifier?: string;
+    enumerator?: string;
+}): JSX.Element;
+export declare const ProofRenderer: NodeRenderer<AdmonitionSpec>;
+declare const PROOF_RENDERERS: {
+    proof: NodeRenderer<AdmonitionSpec>;
+};
+export default PROOF_RENDERERS;
+//# sourceMappingURL=proof.d.ts.map

package/dist/cjs/proof.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"proof.d.ts","sourceRoot":"","sources":["../../src/proof.tsx"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,IAAI,cAAc,EAAE,MAAM,WAAW,CAAC;AAC9D,OAAO,KAAK,MAAM,OAAO,CAAC;AAC1B,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAK1D,oBAAY,SAAS;IACnB,KAAK,UAAU;IACf,KAAK,UAAU;IACf,KAAK,UAAU;IACf,UAAU,eAAe;IACzB,SAAS,cAAc;IACvB,MAAM,WAAW;IACjB,UAAU,eAAe;IACzB,SAAS,cAAc;IACvB,SAAS,cAAc;IACvB,OAAO,YAAY;IACnB,QAAQ,aAAa;IACrB,WAAW,gBAAgB;IAC3B,WAAW,gBAAgB;IAC3B,UAAU,eAAe;IACzB,OAAO,YAAY;CACpB;AAED,KAAK,KAAK,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,QAAQ,GAAG,QAAQ,GAAG,KAAK,GAAG,QAAQ,CAAC;AAqFhF,wBAAgB,KAAK,CAAC,EACpB,KAAK,EACL,IAAI,EACJ,KAAK,EACL,QAAQ,EACR,QAAQ,EACR,UAAU,EACV,UAAU,GACX,EAAE;IACD,KAAK,CAAC,EAAE,KAAK,CAAC,SAAS,CAAC;IACxB,KAAK,CAAC,EAAE,KAAK,CAAC;IACd,IAAI,CAAC,EAAE,SAAS,CAAC;IACjB,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC;IAC1B,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB,eAwDA;AAED,eAAO,MAAM,aAAa,EAAE,YAAY,CAAC,cAAc,CAsBtD,CAAC;AAEF,QAAA,MAAM,eAAe;;CAEpB,CAAC;AAEF,eAAe,eAAe,CAAC"}

package/dist/cjs/proof.js

@@ -0,0 +1,110 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ProofRenderer = exports.Proof = exports.ProofKind = void 0;
+const jsx_runtime_1 = require("react/jsx-runtime");
+const ChevronRightIcon_1 = __importDefault(require("@heroicons/react/24/solid/ChevronRightIcon"));
+const classnames_1 = __importDefault(require("classnames"));
+const heading_1 = require("./heading");
+var ProofKind;
+(function (ProofKind) {
+    ProofKind["proof"] = "proof";
+    ProofKind["axiom"] = "axiom";
+    ProofKind["lemma"] = "lemma";
+    ProofKind["definition"] = "definition";
+    ProofKind["criterion"] = "criterion";
+    ProofKind["remark"] = "remark";
+    ProofKind["conjecture"] = "conjecture";
+    ProofKind["corollary"] = "corollary";
+    ProofKind["algorithm"] = "algorithm";
+    ProofKind["example"] = "example";
+    ProofKind["property"] = "property";
+    ProofKind["observation"] = "observation";
+    ProofKind["proposition"] = "proposition";
+    ProofKind["assumption"] = "assumption";
+    ProofKind["theorem"] = "theorem";
+})(ProofKind = exports.ProofKind || (exports.ProofKind = {}));
+function getClasses(className) {
+    var _a;
+    const classes = (_a = className === null || className === void 0 ? void 0 : className.split(' ').map((s) => s.trim().toLowerCase()).filter((s) => !!s)) !== null && _a !== void 0 ? _a : [];
+    return [...new Set(classes)];
+}
+function capitalize(kind) {
+    if (!kind)
+        return '';
+    return kind.slice(0, 1).toUpperCase() + kind.slice(1);
+}
+function getColor({ kind }) {
+    switch (kind) {
+        case ProofKind.proof:
+        case ProofKind.algorithm:
+            return { color: 'gray' };
+        case ProofKind.lemma:
+        case ProofKind.conjecture:
+        case ProofKind.theorem:
+            return { color: 'purple' };
+        case ProofKind.observation:
+        case ProofKind.assumption:
+        case ProofKind.axiom:
+            return { color: 'yellow' };
+        case ProofKind.criterion:
+        case ProofKind.corollary:
+        case ProofKind.property:
+            return { color: 'orange' };
+        case ProofKind.example:
+            return { color: 'green' };
+        case ProofKind.remark:
+            return { color: 'red' };
+        case ProofKind.definition:
+        case ProofKind.proposition:
+        default:
+            return { color: 'blue' };
+    }
+}
+const WrapperElement = ({ id, dropdown, className, children, }) => {
+    if (dropdown)
+        return ((0, jsx_runtime_1.jsx)("details", Object.assign({ id: id, className: className }, { children: children })));
+    return ((0, jsx_runtime_1.jsx)("aside", Object.assign({ id: id, className: className }, { children: children })));
+};
+const HeaderElement = ({ dropdown, className, children, }) => {
+    if (dropdown)
+        return (0, jsx_runtime_1.jsx)("summary", Object.assign({ className: className }, { children: children }));
+    return (0, jsx_runtime_1.jsx)("div", Object.assign({ className: className }, { children: children }));
+};
+const iconClass = 'h-8 w-8 inline-block pl-2 mr-2 self-center flex-none';
+function Proof({ title, kind, color, dropdown, children, identifier, enumerator, }) {
+    return ((0, jsx_runtime_1.jsxs)(WrapperElement, Object.assign({ id: identifier, dropdown: dropdown, className: (0, classnames_1.default)('my-5 shadow', 'dark:bg-stone-800', 'overflow-hidden', {
+        // 'shadow-lg': !color || color === 'gray',
+        // 'border-l-2 border-blue-500': color === 'blue',
+        // 'border-l-2 border-green-500': color === 'green',
+        // 'border-l-2 border-amber-500': color === 'yellow',
+        // 'border-l-2 border-orange-500': color === 'orange',
+        // 'border-l-2 border-red-500': color === 'red',
+        }) }, { children: [(0, jsx_runtime_1.jsxs)(HeaderElement, Object.assign({ dropdown: dropdown, className: (0, classnames_1.default)('m-0 font-medium py-2 flex min-w-0', 'text-md', '', 'border-y dark:border-y-0 dark:border-l-4 border-slate-400', {
+                    'bg-gray-50/80 dark:bg-slate-900 dark:border-gray-500': !color || color === 'gray',
+                    'bg-blue-50/80 dark:bg-slate-900 dark:border-blue-500': color === 'blue',
+                    'bg-green-50/80 dark:bg-slate-900 dark:border-green-500': color === 'green',
+                    'bg-amber-50/80 dark:bg-slate-900 dark:border-amber-500': color === 'yellow',
+                    'bg-orange-50/80 dark:bg-slate-900 dark:border-orange-500': color === 'orange',
+                    'bg-red-50/80 dark:bg-slate-900 dark:border-red-500': color === 'red',
+                    'bg-purple-50/80 dark:bg-slate-900 dark:border-purple-500': color === 'purple',
+                    'cursor-pointer hover:shadow-[inset_0_0_0px_30px_#00000003] dark:hover:shadow-[inset_0_0_0px_30px_#FFFFFF03]': dropdown,
+                }) }, { children: [(0, jsx_runtime_1.jsxs)("div", Object.assign({ className: (0, classnames_1.default)('text-neutral-900 dark:text-white grow self-center overflow-hidden break-words', 'ml-4') }, { children: [(0, jsx_runtime_1.jsxs)(heading_1.HashLink, Object.assign({ id: identifier, kind: capitalize(kind) }, { children: [capitalize(kind), " ", enumerator] })), ' ', title && (0, jsx_runtime_1.jsxs)(jsx_runtime_1.Fragment, { children: ["(", title, ")"] })] })), dropdown && ((0, jsx_runtime_1.jsx)("div", Object.assign({ className: "font-thin text-sm text-neutral-700 dark:text-neutral-200 self-center flex-none" }, { children: (0, jsx_runtime_1.jsx)(ChevronRightIcon_1.default, { className: (0, classnames_1.default)(iconClass, 'transition-transform details-toggle') }) })))] })), (0, jsx_runtime_1.jsx)("div", Object.assign({ className: (0, classnames_1.default)('px-4', { 'details-body': dropdown }) }, { children: children }))] })));
+}
+exports.Proof = Proof;
+const ProofRenderer = (node, children) => {
+    var _a;
+    const [title, ...rest] = children;
+    const classes = getClasses(node.class);
+    const { color } = getColor({ kind: node.kind, classes });
+    const isDropdown = classes.includes('dropdown');
+    const useTitle = ((_a = node.children) === null || _a === void 0 ? void 0 : _a[0].type) === 'admonitionTitle';
+    return ((0, jsx_runtime_1.jsxs)(Proof, Object.assign({ identifier: node.html_id, title: useTitle ? title : undefined, kind: node.kind, enumerator: node.enumerator, color: color, dropdown: isDropdown }, { children: [!useTitle && title, rest] }), node.key));
+};
+exports.ProofRenderer = ProofRenderer;
+const PROOF_RENDERERS = {
+    proof: exports.ProofRenderer,
+};
+exports.default = PROOF_RENDERERS;

package/dist/types/heading.d.ts

@@ -2,7 +2,7 @@
 import { Heading } from 'myst-spec';
 import type { NodeRenderer } from '@myst-theme/providers';
 export declare function HashLink({ id, kind, title, children, hover, className, hideInPopup, }: {
-    id: string;
+    id?: string;
     kind: string;
     title?: string;
     hover?: boolean;

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

@@ -1 +1 @@
-{"version":3,"file":"heading.d.ts","sourceRoot":"","sources":["../../src/heading.tsx"],"names":[],"mappings":";AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAK1D,wBAAgB,QAAQ,CAAC,EACvB,EAAE,EACF,IAAI,EACJ,KAA8B,EAC9B,QAAc,EACd,KAAK,EACL,SAAyB,EACzB,WAAW,GACZ,EAAE;IACD,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,QAAQ,CAAC,EAAE,GAAG,GAAG,GAAG,GAAG,KAAK,CAAC,SAAS,CAAC;IACvC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,WAAW,CAAC,EAAE,OAAO,CAAC;CACvB,sBAsBA;AAED,QAAA,MAAM,OAAO,EAAE,YAAY,CAAC,OAAO,CAoBlC,CAAC;AAEF,QAAA,MAAM,iBAAiB;;CAEtB,CAAC;AAEF,eAAe,iBAAiB,CAAC"}
+{"version":3,"file":"heading.d.ts","sourceRoot":"","sources":["../../src/heading.tsx"],"names":[],"mappings":";AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAK1D,wBAAgB,QAAQ,CAAC,EACvB,EAAE,EACF,IAAI,EACJ,KAA8B,EAC9B,QAAc,EACd,KAAK,EACL,SAAyB,EACzB,WAAW,GACZ,EAAE;IACD,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,QAAQ,CAAC,EAAE,GAAG,GAAG,GAAG,GAAG,KAAK,CAAC,SAAS,CAAC;IACvC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,WAAW,CAAC,EAAE,OAAO,CAAC;CACvB,sBAsBA;AAED,QAAA,MAAM,OAAO,EAAE,YAAY,CAAC,OAAO,CAoBlC,CAAC;AAEF,QAAA,MAAM,iBAAiB;;CAEtB,CAAC;AAEF,eAAe,iBAAiB,CAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.tsx"],"names":[],"mappings":";AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAqBjD,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACjD,OAAO,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AACnC,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC3D,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAC;AAEzC,eAAO,MAAM,iBAAiB,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAmB1D,CAAC;AAEF,wBAAgB,QAAQ,CACtB,IAAI,EAAE,aAAa,GAAG,IAAI,EAC1B,SAAS,GAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAqB,6BAU5D"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.tsx"],"names":[],"mappings":";AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAsBjD,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACjD,OAAO,EAAE,SAAS,EAAE,MAAM,QAAQ,CAAC;AACnC,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAC3D,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAC;AAEzC,eAAO,MAAM,iBAAiB,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAoB1D,CAAC;AAEF,wBAAgB,QAAQ,CACtB,IAAI,EAAE,aAAa,GAAG,IAAI,EAC1B,SAAS,GAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAqB,6BAU5D"}

package/dist/types/proof.d.ts

@@ -0,0 +1,36 @@
+import type { Admonition as AdmonitionSpec } from 'myst-spec';
+import React from 'react';
+import type { NodeRenderer } from '@myst-theme/providers';
+export declare enum ProofKind {
+    proof = "proof",
+    axiom = "axiom",
+    lemma = "lemma",
+    definition = "definition",
+    criterion = "criterion",
+    remark = "remark",
+    conjecture = "conjecture",
+    corollary = "corollary",
+    algorithm = "algorithm",
+    example = "example",
+    property = "property",
+    observation = "observation",
+    proposition = "proposition",
+    assumption = "assumption",
+    theorem = "theorem"
+}
+type Color = 'gray' | 'blue' | 'green' | 'yellow' | 'orange' | 'red' | 'purple';
+export declare function Proof({ title, kind, color, dropdown, children, identifier, enumerator, }: {
+    title?: React.ReactNode;
+    color?: Color;
+    kind?: ProofKind;
+    children: React.ReactNode;
+    dropdown?: boolean;
+    identifier?: string;
+    enumerator?: string;
+}): JSX.Element;
+export declare const ProofRenderer: NodeRenderer<AdmonitionSpec>;
+declare const PROOF_RENDERERS: {
+    proof: NodeRenderer<AdmonitionSpec>;
+};
+export default PROOF_RENDERERS;
+//# sourceMappingURL=proof.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"proof.d.ts","sourceRoot":"","sources":["../../src/proof.tsx"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,IAAI,cAAc,EAAE,MAAM,WAAW,CAAC;AAC9D,OAAO,KAAK,MAAM,OAAO,CAAC;AAC1B,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAK1D,oBAAY,SAAS;IACnB,KAAK,UAAU;IACf,KAAK,UAAU;IACf,KAAK,UAAU;IACf,UAAU,eAAe;IACzB,SAAS,cAAc;IACvB,MAAM,WAAW;IACjB,UAAU,eAAe;IACzB,SAAS,cAAc;IACvB,SAAS,cAAc;IACvB,OAAO,YAAY;IACnB,QAAQ,aAAa;IACrB,WAAW,gBAAgB;IAC3B,WAAW,gBAAgB;IAC3B,UAAU,eAAe;IACzB,OAAO,YAAY;CACpB;AAED,KAAK,KAAK,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,QAAQ,GAAG,QAAQ,GAAG,KAAK,GAAG,QAAQ,CAAC;AAqFhF,wBAAgB,KAAK,CAAC,EACpB,KAAK,EACL,IAAI,EACJ,KAAK,EACL,QAAQ,EACR,QAAQ,EACR,UAAU,EACV,UAAU,GACX,EAAE;IACD,KAAK,CAAC,EAAE,KAAK,CAAC,SAAS,CAAC;IACxB,KAAK,CAAC,EAAE,KAAK,CAAC;IACd,IAAI,CAAC,EAAE,SAAS,CAAC;IACjB,QAAQ,EAAE,KAAK,CAAC,SAAS,CAAC;IAC1B,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB,eAwDA;AAED,eAAO,MAAM,aAAa,EAAE,YAAY,CAAC,cAAc,CAsBtD,CAAC;AAEF,QAAA,MAAM,eAAe;;CAEpB,CAAC;AAEF,eAAe,eAAe,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "myst-to-react",
-  "version": "0.2.3",
+  "version": "0.2.4",
   "main": "dist/cjs/index.js",
   "types": "dist/types/index.d.ts",
   "files": [
@@ -17,7 +17,7 @@
     "build": "npm-run-all -l clean -p build:cjs build:types"
   },
   "dependencies": {
-    "@myst-theme/providers": "^0.2.3",
+    "@myst-theme/providers": "^0.2.4",
     "@headlessui/react": "^1.7.13",
     "@heroicons/react": "^2.0.13",
     "@popperjs/core": "^2.11.6",