deploy: 9d69034

.buildinfo

@@ -1,4 +1,4 @@
 # Sphinx build info version 1
-# This file hashes the configuration used when building these files. When it is not found, a full rebuild will be done.
-config: 7a8e3f28ec4e2035e073e0b1fef3f0da
+# This file records the configuration used when building these files. When it is not found, a full rebuild will be done.
+config: 9520d8650dc2cb388e07c5743fd78721
 tags: 645f666f9bcd5a90fca523b33c5a78b7

_sphinx_design_static/design-tabs.js

@@ -1,27 +1,101 @@
-var sd_labels_by_text = {};
+// @ts-check
 
+// Extra JS capability for selected tabs to be synced
+// The selection is stored in local storage so that it persists across page loads.
+
+/**
+ * @type {Record<string, HTMLElement[]>}
+ */
+let sd_id_to_elements = {};
+const storageKeyPrefix = "sphinx-design-tab-id-";
+
+/**
+ * Create a key for a tab element.
+ * @param {HTMLElement} el - The tab element.
+ * @returns {[string, string, string] | null} - The key.
+ *
+ */
+function create_key(el) {
+ let syncId = el.getAttribute("data-sync-id");
+ let syncGroup = el.getAttribute("data-sync-group");
+ if (!syncId || !syncGroup) return null;
+ return [syncGroup, syncId, syncGroup + "--" + syncId];
+}
+
+/**
+ * Initialize the tab selection.
+ *
+ */
 function ready() {
- const li = document.getElementsByClassName("sd-tab-label");
- for (const label of li) {
- syncId = label.getAttribute("data-sync-id");
- if (syncId) {
- label.onclick = onLabelClick;
- if (!sd_labels_by_text[syncId]) {
- sd_labels_by_text[syncId] = [];
+ // Find all tabs with sync data
+
+ /** @type {string[]} */
+ let groups = [];
+
+ document.querySelectorAll(".sd-tab-label").forEach((label) => {
+ if (label instanceof HTMLElement) {
+ let data = create_key(label);
+ if (data) {
+ let [group, id, key] = data;
+
+ // add click event listener
+ // @ts-ignore
+ label.onclick = onSDLabelClick;
+
+ // store map of key to elements
+ if (!sd_id_to_elements[key]) {
+ sd_id_to_elements[key] = [];
+ }
+ sd_id_to_elements[key].push(label);
+
+ if (groups.indexOf(group) === -1) {
+ groups.push(group);
+ // Check if a specific tab has been selected via URL parameter
+ const tabParam = new URLSearchParams(window.location.search).get(
+ group
+ );
+ if (tabParam) {
+ console.log(
+ "sphinx-design: Selecting tab id for group '" +
+ group +
+ "' from URL parameter: " +
+ tabParam
+ );
+ window.sessionStorage.setItem(storageKeyPrefix + group, tabParam);
+ }
+ }
+
+ // Check is a specific tab has been selected previously
+ let previousId = window.sessionStorage.getItem(
+ storageKeyPrefix + group
+ );
+ if (previousId === id) {
+ // console.log(
+ // "sphinx-design: Selecting tab from session storage: " + id
+ // );
+ // @ts-ignore
+ label.previousElementSibling.checked = true;
+ }
  }
- sd_labels_by_text[syncId].push(label);
  }
- }
+ });
 }
 
-function onLabelClick() {
- // Activate other inputs with the same sync id.
- syncId = this.getAttribute("data-sync-id");
- for (label of sd_labels_by_text[syncId]) {
+/**
+ * Activate other tabs with the same sync id.
+ *
+ * @this {HTMLElement} - The element that was clicked.
+ */
+function onSDLabelClick() {
+ let data = create_key(this);
+ if (!data) return;
+ let [group, id, key] = data;
+ for (const label of sd_id_to_elements[key]) {
  if (label === this) continue;
+ // @ts-ignore
  label.previousElementSibling.checked = true;
  }
- window.localStorage.setItem("sphinx-design-last-tab", syncId);
+ window.sessionStorage.setItem(storageKeyPrefix + group, id);
 }
 
 document.addEventListener("DOMContentLoaded", ready, false);

_static/basic.css

@@ -1,12 +1,5 @@
 /*
- * basic.css
- * ~~~~~~~~~
- *
  * Sphinx stylesheet -- basic theme.
- *
- * :copyright: Copyright 2007-2023 by the Sphinx team, see AUTHORS.
- * :license: BSD, see LICENSE for details.
- *
  */
 
 /* -- main layout ----------------------------------------------------------- */
@@ -115,15 +108,11 @@ img {
 /* -- search page ----------------------------------------------------------- */
 
 ul.search {
- margin: 10px 0 0 20px;
- padding: 0;
+ margin-top: 10px;
 }
 
 ul.search li {
- padding: 5px 0 5px 20px;
- background-image: url(file.png);
- background-repeat: no-repeat;
- background-position: 0 7px;
+ padding: 5px 0;
 }
 
 ul.search li a {
@@ -237,6 +226,10 @@ a.headerlink {
  visibility: hidden;
 }
 
+a:visited {
+ color: #551A8B;
+}
+
 h1:hover > a.headerlink,
 h2:hover > a.headerlink,
 h3:hover > a.headerlink,

_static/design-tabs.js

@@ -1,27 +1,101 @@
-var sd_labels_by_text = {};
+// @ts-check
 
+// Extra JS capability for selected tabs to be synced
+// The selection is stored in local storage so that it persists across page loads.
+
+/**
+ * @type {Record<string, HTMLElement[]>}
+ */
+let sd_id_to_elements = {};
+const storageKeyPrefix = "sphinx-design-tab-id-";
+
+/**
+ * Create a key for a tab element.
+ * @param {HTMLElement} el - The tab element.
+ * @returns {[string, string, string] | null} - The key.
+ *
+ */
+function create_key(el) {
+ let syncId = el.getAttribute("data-sync-id");
+ let syncGroup = el.getAttribute("data-sync-group");
+ if (!syncId || !syncGroup) return null;
+ return [syncGroup, syncId, syncGroup + "--" + syncId];
+}
+
+/**
+ * Initialize the tab selection.
+ *
+ */
 function ready() {
- const li = document.getElementsByClassName("sd-tab-label");
- for (const label of li) {
- syncId = label.getAttribute("data-sync-id");
- if (syncId) {
- label.onclick = onLabelClick;
- if (!sd_labels_by_text[syncId]) {
- sd_labels_by_text[syncId] = [];
+ // Find all tabs with sync data
+
+ /** @type {string[]} */
+ let groups = [];
+
+ document.querySelectorAll(".sd-tab-label").forEach((label) => {
+ if (label instanceof HTMLElement) {
+ let data = create_key(label);
+ if (data) {
+ let [group, id, key] = data;
+
+ // add click event listener
+ // @ts-ignore
+ label.onclick = onSDLabelClick;
+
+ // store map of key to elements
+ if (!sd_id_to_elements[key]) {
+ sd_id_to_elements[key] = [];
+ }
+ sd_id_to_elements[key].push(label);
+
+ if (groups.indexOf(group) === -1) {
+ groups.push(group);
+ // Check if a specific tab has been selected via URL parameter
+ const tabParam = new URLSearchParams(window.location.search).get(
+ group
+ );
+ if (tabParam) {
+ console.log(
+ "sphinx-design: Selecting tab id for group '" +
+ group +
+ "' from URL parameter: " +
+ tabParam
+ );
+ window.sessionStorage.setItem(storageKeyPrefix + group, tabParam);
+ }
+ }
+
+ // Check is a specific tab has been selected previously
+ let previousId = window.sessionStorage.getItem(
+ storageKeyPrefix + group
+ );
+ if (previousId === id) {
+ // console.log(
+ // "sphinx-design: Selecting tab from session storage: " + id
+ // );
+ // @ts-ignore
+ label.previousElementSibling.checked = true;
+ }
  }
- sd_labels_by_text[syncId].push(label);
  }
- }
+ });
 }
 
-function onLabelClick() {
- // Activate other inputs with the same sync id.
- syncId = this.getAttribute("data-sync-id");
- for (label of sd_labels_by_text[syncId]) {
+/**
+ * Activate other tabs with the same sync id.
+ *
+ * @this {HTMLElement} - The element that was clicked.
+ */
+function onSDLabelClick() {
+ let data = create_key(this);
+ if (!data) return;
+ let [group, id, key] = data;
+ for (const label of sd_id_to_elements[key]) {
  if (label === this) continue;
+ // @ts-ignore
  label.previousElementSibling.checked = true;
  }
- window.localStorage.setItem("sphinx-design-last-tab", syncId);
+ window.sessionStorage.setItem(storageKeyPrefix + group, id);
 }
 
 document.addEventListener("DOMContentLoaded", ready, false);

_static/doctools.js

@@ -1,12 +1,5 @@
 /*
- * doctools.js
- * ~~~~~~~~~~~
- *
  * Base JavaScript utilities for all Sphinx HTML documentation.
- *
- * :copyright: Copyright 2007-2023 by the Sphinx team, see AUTHORS.
- * :license: BSD, see LICENSE for details.
- *
  */
 "use strict";
 

_static/documentation_options.js

@@ -1,5 +1,4 @@
-var DOCUMENTATION_OPTIONS = {
- URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'),
+const DOCUMENTATION_OPTIONS = {
  VERSION: '',
  LANGUAGE: 'en',
  COLLAPSE_INDEX: false,

_static/language_data.js

@@ -1,19 +1,12 @@
 /*
- * language_data.js
- * ~~~~~~~~~~~~~~~~
- *
  * This script contains the language-specific data used by searchtools.js,
  * namely the list of stopwords, stemmer, scorer and splitter.
- *
- * :copyright: Copyright 2007-2023 by the Sphinx team, see AUTHORS.
- * :license: BSD, see LICENSE for details.
- *
  */
 
 var stopwords = ["a", "and", "are", "as", "at", "be", "but", "by", "for", "if", "in", "into", "is", "it", "near", "no", "not", "of", "on", "or", "such", "that", "the", "their", "then", "there", "these", "they", "this", "to", "was", "will", "with"];
 
 
-/* Non-minified version is copied as a separate JS file, is available */
+/* Non-minified version is copied as a separate JS file, if available */
 
 /**
  * Porter Stemmer