build based on cb788bc

dev/assets/documenter.js

@@ -70,6 +70,67 @@ $(document).ready(function() {
     hljs.highlightAll();
 })
 
+})
+////////////////////////////////////////////////////////////////////////////////
+require([], function() {
+function addCopyButtonCallbacks() {
+  for (const el of document.getElementsByTagName("pre")) {
+    const button = document.createElement("button");
+    button.classList.add("copy-button", "fas", "fa-copy");
+    el.appendChild(button);
+
+    const success = function () {
+      button.classList.add("success", "fa-check");
+      button.classList.remove("fa-copy");
+    };
+
+    const failure = function () {
+      button.classList.add("error", "fa-times");
+      button.classList.remove("fa-copy");
+    };
+
+    button.addEventListener("click", function () {
+      copyToClipboard(el.innerText).then(success, failure);
+
+      setTimeout(function () {
+        button.classList.add("fa-copy");
+        button.classList.remove("success", "fa-check", "fa-times");
+      }, 5000);
+    });
+  }
+}
+
+function copyToClipboard(text) {
+  // clipboard API is only available in secure contexts
+  if (window.navigator && window.navigator.clipboard) {
+    return window.navigator.clipboard.writeText(text);
+  } else {
+    return new Promise(function (resolve, reject) {
+      try {
+        const el = document.createElement("textarea");
+        el.textContent = text;
+        el.style.position = "fixed";
+        el.style.opacity = 0;
+        document.body.appendChild(el);
+        el.select();
+        document.execCommand("copy");
+
+        resolve();
+      } catch (err) {
+        reject(err);
+      } finally {
+        document.body.removeChild(el);
+      }
+    });
+  }
+}
+
+if (document.readyState === "loading") {
+  document.addEventListener("DOMContentLoaded", addCopyButtonCallbacks);
+} else {
+  addCopyButtonCallbacks();
+}
+
 })
 ////////////////////////////////////////////////////////////////////////////////
 require(['jquery', 'headroom', 'headroom-jquery'], function($, Headroom) {

dev/assets/themes/documenter-dark.css

@@ -7179,6 +7179,35 @@ html.theme--documenter-dark {
     visibility: visible; }
   html.theme--documenter-dark .docs-light-only {
     display: none !important; }
+  html.theme--documenter-dark pre {
+    position: relative; }
+    html.theme--documenter-dark pre .copy-button {
+      opacity: 0.2;
+      transition: opacity 0.2s;
+      position: absolute;
+      right: 0em;
+      top: 0em;
+      padding: 0.5em;
+      width: 2.5em;
+      height: 2.5em;
+      background: transparent;
+      border: none;
+      font-family: "Font Awesome 5 Free";
+      color: #fff;
+      cursor: pointer;
+      text-align: center; }
+      html.theme--documenter-dark pre .copy-button:focus, html.theme--documenter-dark pre .copy-button:hover {
+        opacity: 1;
+        background: rgba(255, 255, 255, 0.1);
+        color: #1abc9c; }
+      html.theme--documenter-dark pre .copy-button.success {
+        color: #259a12;
+        opacity: 1; }
+      html.theme--documenter-dark pre .copy-button.error {
+        color: #cb3c33;
+        opacity: 1; }
+    html.theme--documenter-dark pre:hover .copy-button {
+      opacity: 1; }
   html.theme--documenter-dark .admonition {
     background-color: #282f2f;
     border-style: solid;

dev/assets/themes/documenter-light.css

@@ -7114,6 +7114,36 @@ h1:hover .docs-heading-anchor-permalink, h2:hover .docs-heading-anchor-permalink
 .docs-dark-only {
   display: none !important; }
 
+pre {
+  position: relative; }
+  pre .copy-button {
+    opacity: 0.2;
+    transition: opacity 0.2s;
+    position: absolute;
+    right: 0em;
+    top: 0em;
+    padding: 0.5em;
+    width: 2.5em;
+    height: 2.5em;
+    background: transparent;
+    border: none;
+    font-family: "Font Awesome 5 Free";
+    color: #222222;
+    cursor: pointer;
+    text-align: center; }
+    pre .copy-button:focus, pre .copy-button:hover {
+      opacity: 1;
+      background: rgba(34, 34, 34, 0.1);
+      color: #2e63b8; }
+    pre .copy-button.success {
+      color: #259a12;
+      opacity: 1; }
+    pre .copy-button.error {
+      color: #cb3c33;
+      opacity: 1; }
+  pre:hover .copy-button {
+    opacity: 1; }
+
 .admonition {
   background-color: #b5b5b5;
   border-style: solid;

dev/generated/notebook.ipynb

@@ -87,11 +87,11 @@
    "file_extension": ".jl",
    "mimetype": "application/julia",
    "name": "julia",
-   "version": "1.6.3"
+   "version": "1.7.1"
   },
   "kernelspec": {
-   "name": "julia-1.6",
-   "display_name": "Julia 1.6.3",
+   "name": "julia-1.7",
+   "display_name": "Julia 1.7.1",
    "language": "julia"
   }
  },