build based on 2104bef

JuliaManifolds · Nov 8, 2023 · 64460d4 · 64460d4
1 parent c5f4fb6
commit 64460d4
Show file tree

Hide file tree

Showing 118 changed files with 19,605 additions and 3 deletions.
diff --git a/stable b/stable
@@ -1 +1 @@
-v0.9.4
+v0.9.5
diff --git a/v0.9 b/v0.9
@@ -1 +1 @@
-v0.9.4
+v0.9.5
diff --git a/v0.9.5/.documenter-siteinfo.json b/v0.9.5/.documenter-siteinfo.json
@@ -0,0 +1 @@
+{"documenter":{"julia_version":"1.9.3","generation_timestamp":"2023-11-08T20:38:43","documenter_version":"1.1.2"}}
diff --git a/v0.9.5/assets/android-chrome-192x192.png b/v0.9.5/assets/android-chrome-192x192.png
diff --git a/v0.9.5/assets/android-chrome-512x512.png b/v0.9.5/assets/android-chrome-512x512.png
diff --git a/v0.9.5/assets/apple-touch-icon.png b/v0.9.5/assets/apple-touch-icon.png
diff --git a/v0.9.5/assets/citations.css b/v0.9.5/assets/citations.css
@@ -0,0 +1,19 @@
+/* Taken from https://juliadocs.org/DocumenterCitations.jl/v1.2/styling/ */
+
+.citation dl {
+  display: grid;
+  grid-template-columns: max-content auto; }
+.citation dt {
+  grid-column-start: 1; }
+.citation dd {
+  grid-column-start: 2;
+  margin-bottom: 0.75em; }
+.citation ul {
+ padding: 0 0 2.25em 0;
+ margin: 0;
+ list-style: none;}
+.citation ul li {
+ text-indent: -2.25em;
+ margin: 0.33em 0.5em 0.5em 2.25em;}
+.citation ol li {
+ padding-left:0.75em;}
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		{"documenter":{"julia_version":"1.9.3","generation_timestamp":"2023-11-08T20:38:43","documenter_version":"1.1.2"}}