build based on 103de4f

JuliaLang · Aug 18, 2023 · 146fadc · 146fadc
1 parent 985e2a9
commit 146fadc
Show file tree

Hide file tree

Showing 24 changed files with 1,755 additions and 0 deletions.
diff --git a/previews/PR3595/api/index.html b/previews/PR3595/api/index.html
diff --git a/previews/PR3595/artifacts/index.html b/previews/PR3595/artifacts/index.html
diff --git a/previews/PR3595/assets/custom.css b/previews/PR3595/assets/custom.css
@@ -0,0 +1,4 @@
+#documenter .docs-sidebar .docs-logo > img,
+html.theme--documenter-dark #documenter .docs-sidebar .docs-logo > img {
+    max-height: 12rem;
+}
diff --git a/previews/PR3595/assets/documenter.js b/previews/PR3595/assets/documenter.js
diff --git a/previews/PR3595/assets/logo.png b/previews/PR3595/assets/logo.png