build based on 833058d

thchr · Sep 17, 2024 · b67bdd1 · b67bdd1
1 parent 8c407c8
commit b67bdd1
Show file tree

Hide file tree

Showing 33 changed files with 30,389 additions and 3 deletions.
diff --git a/stable b/stable
@@ -1 +1 @@
-v0.6.0
+v0.6.1
diff --git a/v0.6 b/v0.6
@@ -1 +1 @@
-v0.6.0
+v0.6.1
diff --git a/v0.6.1/.documenter-siteinfo.json b/v0.6.1/.documenter-siteinfo.json
@@ -0,0 +1 @@
+{"documenter":{"julia_version":"1.10.5","generation_timestamp":"2024-09-17T06:56:00","documenter_version":"1.7.0"}}
diff --git a/v0.6.1/api/index.html b/v0.6.1/api/index.html
diff --git a/v0.6.1/assets/custom.css b/v0.6.1/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: 12em;
+}