From 5d13c5d3df3bcb543d36cf374d1a7bccfec81511 Mon Sep 17 00:00:00 2001 From: "Documenter.jl" Date: Sun, 3 Sep 2023 14:42:11 +0000 Subject: [PATCH] build based on 609a1b6 --- dev/404.html | 120 ++++---- dev/assets/javascripts/bundle.220ee61c.min.js | 29 -- .../javascripts/bundle.220ee61c.min.js.map | 8 - dev/assets/javascripts/bundle.dff1b7c8.min.js | 29 ++ .../javascripts/bundle.dff1b7c8.min.js.map | 8 + .../javascripts/lunr/min/lunr.he.min.js | 1 + ...74e28a9f.min.js => search.dfff1995.min.js} | 18 +- ....min.js.map => search.dfff1995.min.js.map} | 8 +- dev/assets/stylesheets/main.046329b4.min.css | 1 + .../stylesheets/main.046329b4.min.css.map | 1 + dev/assets/stylesheets/main.eebd395e.min.css | 1 - .../stylesheets/main.eebd395e.min.css.map | 1 - ...896b0.min.css => palette.85d0ee34.min.css} | 2 +- ...n.css.map => palette.85d0ee34.min.css.map} | 0 .../UserGuide/supported_functions/index.html | 134 +++++---- dev/index.html | 129 +++++---- dev/reference/index.html | 273 ++++++++++++------ dev/search/search_index.json | 2 +- dev/sitemap.xml.gz | Bin 127 -> 127 bytes 19 files changed, 465 insertions(+), 300 deletions(-) delete mode 100644 dev/assets/javascripts/bundle.220ee61c.min.js delete mode 100644 dev/assets/javascripts/bundle.220ee61c.min.js.map create mode 100644 dev/assets/javascripts/bundle.dff1b7c8.min.js create mode 100644 dev/assets/javascripts/bundle.dff1b7c8.min.js.map create mode 100644 dev/assets/javascripts/lunr/min/lunr.he.min.js rename dev/assets/javascripts/workers/{search.74e28a9f.min.js => search.dfff1995.min.js} (73%) rename dev/assets/javascripts/workers/{search.74e28a9f.min.js.map => search.dfff1995.min.js.map} (87%) create mode 100644 dev/assets/stylesheets/main.046329b4.min.css create mode 100644 dev/assets/stylesheets/main.046329b4.min.css.map delete mode 100644 dev/assets/stylesheets/main.eebd395e.min.css delete mode 100644 dev/assets/stylesheets/main.eebd395e.min.css.map rename dev/assets/stylesheets/{palette.ecc896b0.min.css => palette.85d0ee34.min.css} (98%) rename dev/assets/stylesheets/{palette.ecc896b0.min.css.map => palette.85d0ee34.min.css.map} (100%) diff --git a/dev/404.html b/dev/404.html index 6f8f82d..e40a521 100644 --- a/dev/404.html +++ b/dev/404.html @@ -14,8 +14,9 @@ + - + @@ -23,15 +24,18 @@ - + - + + + + @@ -92,6 +96,7 @@
@@ -113,33 +118,34 @@
- - - - - - - - - - - - - - - - - -
+ + + + + + + + + + + + + + + + + +