build based on c6198a3

thchr · May 13, 2024 · 4e359e3 · 4e359e3
1 parent b4fc97f
commit 4e359e3
Show file tree

Hide file tree

Showing 35 changed files with 2,887 additions and 3 deletions.
diff --git a/stable b/stable
@@ -1 +1 @@
-v0.5.16
+v0.5.17
diff --git a/v0.5 b/v0.5
@@ -1 +1 @@
-v0.5.16
+v0.5.17
diff --git a/v0.5.17/.documenter-siteinfo.json b/v0.5.17/.documenter-siteinfo.json
@@ -0,0 +1 @@
+{"documenter":{"julia_version":"1.10.3","generation_timestamp":"2024-05-13T08:09:34","documenter_version":"1.4.1"}}
diff --git a/v0.5.17/api/index.html b/v0.5.17/api/index.html
diff --git a/v0.5.17/assets/banner-transparent-bg.png b/v0.5.17/assets/banner-transparent-bg.png
diff --git a/v0.5.17/assets/banner-white-bg.png b/v0.5.17/assets/banner-white-bg.png
diff --git a/v0.5.17/assets/banner.ai b/v0.5.17/assets/banner.ai
diff --git a/v0.5.17/assets/custom.css b/v0.5.17/assets/custom.css
@@ -0,0 +1,5 @@
+/* increase logo size, cf. https://github.com/JuliaDocs/Documenter.jl/issues/1065#issuecomment-510595992 
+ * but with updated syntax (see https://github.com/JuliaLang/Pkg.jl/blob/master/docs/src/assets/custom.css) */
+#documenter .docs-sidebar .docs-logo > img {
+    min-height: 15em;
+}