Skip to content

Commit 00d2d38

Browse files
committed
deploy: 4288a69
0 parents  commit 00d2d38

File tree

124 files changed

+57944
-0
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

124 files changed

+57944
-0
lines changed

.nojekyll

Whitespace-only changes.

core/_download/WebAssembly.pdf

2.3 MB
Binary file not shown.

core/_static/alabaster.css

Lines changed: 668 additions & 0 deletions
Large diffs are not rendered by default.

core/_static/basic.css

Lines changed: 914 additions & 0 deletions
Large diffs are not rendered by default.

core/_static/custom.css

Lines changed: 84 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,84 @@
1+
a {
2+
color: #004BAB;
3+
text-decoration: none;
4+
}
5+
6+
a.reference {
7+
border-bottom: none;
8+
}
9+
10+
a.reference:hover {
11+
border-bottom: 1px dotted #004BAB;
12+
}
13+
14+
body {
15+
font-size: 15px;
16+
}
17+
18+
div.document {
19+
width: unset;
20+
max-width: 1000px;
21+
}
22+
div.bodywrapper { margin: 0 0 0 200px; }
23+
div.body { padding: 0 10px 0 10px; }
24+
div.footer {
25+
width: unset;
26+
max-width: 1000px;
27+
}
28+
29+
div.body h1 { font-size: 200%; }
30+
div.body h2 { font-size: 150%; }
31+
div.body h3 { font-size: 120%; }
32+
div.body h4 { font-size: 110%; }
33+
34+
div.note {
35+
border: 0px;
36+
font-size: 90%;
37+
background-color: #F6F8FF;
38+
}
39+
40+
div.admonition {
41+
padding: 10px;
42+
}
43+
44+
div.admonition p.admonition-title {
45+
margin: 0px 0px 0px 0px;
46+
font-size: 100%;
47+
font-weight: bold;
48+
}
49+
50+
div.math {
51+
background-color: #F0F0F0;
52+
padding: 3px 0 3px 0;
53+
overflow-x: auto;
54+
overflow-y: hidden;
55+
}
56+
57+
div.relations {
58+
display: block;
59+
}
60+
61+
div.sphinxsidebar {
62+
z-index: 1;
63+
background: #FFF;
64+
margin-top: -30px;
65+
font-size: 13px;
66+
width: 200px;
67+
height: 100%;
68+
}
69+
70+
div.sphinxsidebarwrapper p.logo {
71+
padding: 30px 40px 10px 0px;
72+
}
73+
74+
div.sphinxsidebar h3 {
75+
font-size: 0px;
76+
}
77+
78+
div.sphinxsidebar a {
79+
border-bottom: 0px;
80+
}
81+
82+
div.sphinxsidebar a:hover {
83+
border-bottom: 1px dotted;
84+
}

core/_static/doctools.js

Lines changed: 149 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,149 @@
1+
/*
2+
* Base JavaScript utilities for all Sphinx HTML documentation.
3+
*/
4+
"use strict";
5+
6+
const BLACKLISTED_KEY_CONTROL_ELEMENTS = new Set([
7+
"TEXTAREA",
8+
"INPUT",
9+
"SELECT",
10+
"BUTTON",
11+
]);
12+
13+
const _ready = (callback) => {
14+
if (document.readyState !== "loading") {
15+
callback();
16+
} else {
17+
document.addEventListener("DOMContentLoaded", callback);
18+
}
19+
};
20+
21+
/**
22+
* Small JavaScript module for the documentation.
23+
*/
24+
const Documentation = {
25+
init: () => {
26+
Documentation.initDomainIndexTable();
27+
Documentation.initOnKeyListeners();
28+
},
29+
30+
/**
31+
* i18n support
32+
*/
33+
TRANSLATIONS: {},
34+
PLURAL_EXPR: (n) => (n === 1 ? 0 : 1),
35+
LOCALE: "unknown",
36+
37+
// gettext and ngettext don't access this so that the functions
38+
// can safely bound to a different name (_ = Documentation.gettext)
39+
gettext: (string) => {
40+
const translated = Documentation.TRANSLATIONS[string];
41+
switch (typeof translated) {
42+
case "undefined":
43+
return string; // no translation
44+
case "string":
45+
return translated; // translation exists
46+
default:
47+
return translated[0]; // (singular, plural) translation tuple exists
48+
}
49+
},
50+
51+
ngettext: (singular, plural, n) => {
52+
const translated = Documentation.TRANSLATIONS[singular];
53+
if (typeof translated !== "undefined")
54+
return translated[Documentation.PLURAL_EXPR(n)];
55+
return n === 1 ? singular : plural;
56+
},
57+
58+
addTranslations: (catalog) => {
59+
Object.assign(Documentation.TRANSLATIONS, catalog.messages);
60+
Documentation.PLURAL_EXPR = new Function(
61+
"n",
62+
`return (${catalog.plural_expr})`
63+
);
64+
Documentation.LOCALE = catalog.locale;
65+
},
66+
67+
/**
68+
* helper function to focus on search bar
69+
*/
70+
focusSearchBar: () => {
71+
document.querySelectorAll("input[name=q]")[0]?.focus();
72+
},
73+
74+
/**
75+
* Initialise the domain index toggle buttons
76+
*/
77+
initDomainIndexTable: () => {
78+
const toggler = (el) => {
79+
const idNumber = el.id.substr(7);
80+
const toggledRows = document.querySelectorAll(`tr.cg-${idNumber}`);
81+
if (el.src.substr(-9) === "minus.png") {
82+
el.src = `${el.src.substr(0, el.src.length - 9)}plus.png`;
83+
toggledRows.forEach((el) => (el.style.display = "none"));
84+
} else {
85+
el.src = `${el.src.substr(0, el.src.length - 8)}minus.png`;
86+
toggledRows.forEach((el) => (el.style.display = ""));
87+
}
88+
};
89+
90+
const togglerElements = document.querySelectorAll("img.toggler");
91+
togglerElements.forEach((el) =>
92+
el.addEventListener("click", (event) => toggler(event.currentTarget))
93+
);
94+
togglerElements.forEach((el) => (el.style.display = ""));
95+
if (DOCUMENTATION_OPTIONS.COLLAPSE_INDEX) togglerElements.forEach(toggler);
96+
},
97+
98+
initOnKeyListeners: () => {
99+
// only install a listener if it is really needed
100+
if (
101+
!DOCUMENTATION_OPTIONS.NAVIGATION_WITH_KEYS &&
102+
!DOCUMENTATION_OPTIONS.ENABLE_SEARCH_SHORTCUTS
103+
)
104+
return;
105+
106+
document.addEventListener("keydown", (event) => {
107+
// bail for input elements
108+
if (BLACKLISTED_KEY_CONTROL_ELEMENTS.has(document.activeElement.tagName)) return;
109+
// bail with special keys
110+
if (event.altKey || event.ctrlKey || event.metaKey) return;
111+
112+
if (!event.shiftKey) {
113+
switch (event.key) {
114+
case "ArrowLeft":
115+
if (!DOCUMENTATION_OPTIONS.NAVIGATION_WITH_KEYS) break;
116+
117+
const prevLink = document.querySelector('link[rel="prev"]');
118+
if (prevLink && prevLink.href) {
119+
window.location.href = prevLink.href;
120+
event.preventDefault();
121+
}
122+
break;
123+
case "ArrowRight":
124+
if (!DOCUMENTATION_OPTIONS.NAVIGATION_WITH_KEYS) break;
125+
126+
const nextLink = document.querySelector('link[rel="next"]');
127+
if (nextLink && nextLink.href) {
128+
window.location.href = nextLink.href;
129+
event.preventDefault();
130+
}
131+
break;
132+
}
133+
}
134+
135+
// some keyboard layouts may need Shift to get /
136+
switch (event.key) {
137+
case "/":
138+
if (!DOCUMENTATION_OPTIONS.ENABLE_SEARCH_SHORTCUTS) break;
139+
Documentation.focusSearchBar();
140+
event.preventDefault();
141+
}
142+
});
143+
},
144+
};
145+
146+
// quick alias for translations
147+
const _ = Documentation.gettext;
148+
149+
_ready(Documentation.init);
Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
const DOCUMENTATION_OPTIONS = {
2+
VERSION: '3.0 + SpecTec + Custom RTTs (Draft 2025-02-14)',
3+
LANGUAGE: 'en',
4+
COLLAPSE_INDEX: false,
5+
BUILDER: 'html',
6+
FILE_SUFFIX: '.html',
7+
LINK_SUFFIX: '.html',
8+
HAS_SOURCE: false,
9+
SOURCELINK_SUFFIX: '.txt',
10+
NAVIGATION_WITH_KEYS: false,
11+
SHOW_SEARCH_SUMMARY: true,
12+
ENABLE_SEARCH_SHORTCUTS: true,
13+
};

core/_static/file.png

286 Bytes
Loading

core/_static/github-banner.svg

Lines changed: 5 additions & 0 deletions
Loading

0 commit comments

Comments
 (0)