build based on ebfbb0c

JuliaLang · Aug 13, 2023 · 134af4b · 134af4b
1 parent b1bfc3b
commit 134af4b
Show file tree

Hide file tree

Showing 23 changed files with 956 additions and 15,717 deletions.
diff --git a/previews/PR1800/api/index.html b/previews/PR1800/api/index.html
diff --git a/previews/PR1800/artifacts/index.html b/previews/PR1800/artifacts/index.html
diff --git a/previews/PR1800/assets/custom.css b/previews/PR1800/assets/custom.css
@@ -1,11 +1,4 @@
-.admonition.compat > .admonition-title {
- background-color: hsla(90, 60%, 50%, 1);
-}
-
-.admonition.compat {
- background-color: hsla(90, 70%, 90%, 1);
-}
-
-nav.toc .logo {
-    max-height: 12em;
+#documenter .docs-sidebar .docs-logo > img,
+html.theme--documenter-dark #documenter .docs-sidebar .docs-logo > img {
+    max-height: 12rem;
 }
diff --git a/previews/PR1800/assets/documenter.js b/previews/PR1800/assets/documenter.js
diff --git a/previews/PR1800/assets/search.js b/previews/PR1800/assets/search.js
diff --git a/previews/PR1800/assets/themes/documenter-dark.css b/previews/PR1800/assets/themes/documenter-dark.css