🪇 Make isMargin in document outline optional (#490)

jupyter-book · Oct 24, 2024 · 8971790 · 8971790
1 parent 1ff56a5
commit 8971790
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/.changeset/clean-countries-teach.md b/.changeset/clean-countries-teach.md
@@ -0,0 +1,5 @@
+---
+'@myst-theme/site': patch
+---
+
+Make margin for outline optional
diff --git a/packages/site/src/components/DocumentOutline.tsx b/packages/site/src/components/DocumentOutline.tsx
@@ -365,7 +365,7 @@ export const DocumentOutline = ({
   selector?: string;
   children?: React.ReactNode;
   maxdepth?: number;
-  isMargin: boolean;
+  isMargin?: boolean;
 }) => {
   const { activeId, headings } = useHeaders(selector, maxdepth);
   const [open, setOpen] = useState(false);