build based on 1ff48e9

dev/assets/documenter.js

@@ -1,15 +1,15 @@
 // Generated by Documenter.jl
 requirejs.config({
   paths: {
-    'highlight-julia': 'https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.0.1/languages/julia.min',
+    'highlight-julia': 'https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.5.1/languages/julia.min',
     'headroom': 'https://cdnjs.cloudflare.com/ajax/libs/headroom/0.12.0/headroom.min',
     'jqueryui': 'https://cdnjs.cloudflare.com/ajax/libs/jqueryui/1.12.1/jquery-ui.min',
-    'katex-auto-render': 'https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.13.11/contrib/auto-render.min',
+    'katex-auto-render': 'https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.13.24/contrib/auto-render.min',
     'jquery': 'https://cdnjs.cloudflare.com/ajax/libs/jquery/3.6.0/jquery.min',
     'headroom-jquery': 'https://cdnjs.cloudflare.com/ajax/libs/headroom/0.12.0/jQuery.headroom.min',
-    'katex': 'https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.13.11/katex.min',
+    'katex': 'https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.13.24/katex.min',
-    'highlight': 'https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.0.1/highlight.min',
+    'highlight': 'https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.5.1/highlight.min',
-    'highlight-julia-repl': 'https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.0.1/languages/julia-repl.min',
+    'highlight-julia-repl': 'https://cdnjs.cloudflare.com/ajax/libs/highlight.js/11.5.1/languages/julia-repl.min',
   },
   shim: {
   "highlight-julia": {

dev/assets/search.js

@@ -188,6 +188,8 @@ $(document).ready(function() {
     searchresults = $('#documenter-search-results');
     searchinfo = $('#documenter-search-info');
     searchbox = $('#documenter-search-query');
+    searchform = $('.docs-search');
+    sidebar = $('.docs-sidebar');
     function update_search(querystring) {
       tokens = lunr.tokenizer(querystring)
       results = index.query(function (q) {
@@ -239,6 +241,20 @@ $(document).ready(function() {
     searchbox.keyup(_.debounce(update_search_box, 250))
     searchbox.change(update_search_box)
 
+    // Disable enter-key form submission for the searchbox on the search page
+    // and just re-run search rather than refresh the whole page.
+    searchform.keypress(
+      function(event){
+        if (event.which == '13') {
+          if (sidebar.hasClass('visible')) {
+            sidebar.removeClass('visible');
+          }
+          update_search_box();
+          event.preventDefault();
+        }
+      }
+    );
+
     search_query_uri = parseUri(window.location).queryKey["q"]
     if(search_query_uri !== undefined) {
       search_query = decodeURIComponent(search_query_uri.replace(/\+/g, '%20'))

dev/assets/themes/documenter-dark.css

@@ -7328,11 +7328,13 @@ html.theme--documenter-dark {
       html.theme--documenter-dark #documenter .docs-main header.docs-navbar .docs-right .docs-label {
         padding: 0;
         margin-left: 0.3em; }
-      html.theme--documenter-dark #documenter .docs-main header.docs-navbar .docs-right .docs-settings-button {
-        margin: auto 0 auto 1rem; }
       html.theme--documenter-dark #documenter .docs-main header.docs-navbar .docs-right .docs-sidebar-button {
-        font-size: 1.5rem;
+        font-size: 1.5rem; }
-        margin: auto 0 auto 1rem; }
+      html.theme--documenter-dark #documenter .docs-main header.docs-navbar .docs-right .docs-navbar-link {
+        margin: auto 0.5rem auto 0.5rem; }
+      @media screen and (max-width: 1055px) {
+        html.theme--documenter-dark #documenter .docs-main header.docs-navbar .docs-right .docs-navbar-link {
+          margin: auto 0.75rem auto 0.75rem; } }
     html.theme--documenter-dark #documenter .docs-main header.docs-navbar > * {
       margin: auto 0; }
     @media screen and (max-width: 1055px) {

dev/assets/themes/documenter-light.css

@@ -7289,11 +7289,13 @@ li.no-marker {
     #documenter .docs-main header.docs-navbar .docs-right .docs-label {
       padding: 0;
       margin-left: 0.3em; }
-    #documenter .docs-main header.docs-navbar .docs-right .docs-settings-button {
-      margin: auto 0 auto 1rem; }
     #documenter .docs-main header.docs-navbar .docs-right .docs-sidebar-button {
-      font-size: 1.5rem;
+      font-size: 1.5rem; }
-      margin: auto 0 auto 1rem; }
+    #documenter .docs-main header.docs-navbar .docs-right .docs-navbar-link {
+      margin: auto 0.5rem auto 0.5rem; }
+    @media screen and (max-width: 1055px) {
+      #documenter .docs-main header.docs-navbar .docs-right .docs-navbar-link {
+        margin: auto 0.75rem auto 0.75rem; } }
   #documenter .docs-main header.docs-navbar > * {
     margin: auto 0; }
   @media screen and (max-width: 1055px) {