From 083b0aa3762f722432f68e1bb92e654abdf1f6d8 Mon Sep 17 00:00:00 2001 From: Tom Alexander Date: Sun, 28 Jan 2024 18:20:22 -0500 Subject: [PATCH] Move explorer styles into local styles. --- src/{Explorer.css => Explorer.module.css} | 0 src/Explorer.module.css.d.ts | 1 + src/Explorer.tsx | 4 ++-- 3 files changed, 3 insertions(+), 2 deletions(-) rename src/{Explorer.css => Explorer.module.css} (100%) create mode 100644 src/Explorer.module.css.d.ts diff --git a/src/Explorer.css b/src/Explorer.module.css similarity index 100% rename from src/Explorer.css rename to src/Explorer.module.css diff --git a/src/Explorer.module.css.d.ts b/src/Explorer.module.css.d.ts new file mode 100644 index 0000000..88c9463 --- /dev/null +++ b/src/Explorer.module.css.d.ts @@ -0,0 +1 @@ +export const Explorer: string; diff --git a/src/Explorer.tsx b/src/Explorer.tsx index 5518dbf..996e557 100644 --- a/src/Explorer.tsx +++ b/src/Explorer.tsx @@ -1,5 +1,5 @@ import React, { useMemo, useState } from "react"; -import "./Explorer.css"; +import styles from "./Explorer.module.css"; import { Highlight } from "./highlight"; import OrgAst, { OrgNodeReference } from "./OrgAst"; import { parse_org } from "../../organic/target/wasm32-unknown-unknown/js/wasm"; @@ -63,7 +63,7 @@ function Explorer({ defaultValue = default_org_source }: ExplorerProps) { return ( -
+