Skip to content

Commit 72eacf5

Browse files
committed
Deploying to gh-pages from @ c0c7303 🚀
1 parent e479150 commit 72eacf5

File tree

11 files changed

+40
-53
lines changed

11 files changed

+40
-53
lines changed

_static/basic.css

Lines changed: 2 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,5 @@
11
/*
2-
* basic.css
3-
* ~~~~~~~~~
4-
*
52
* Sphinx stylesheet -- basic theme.
6-
*
7-
* :copyright: Copyright 2007-2024 by the Sphinx team, see AUTHORS.
8-
* :license: BSD, see LICENSE for details.
9-
*
103
*/
114

125
/* -- main layout ----------------------------------------------------------- */
@@ -115,15 +108,11 @@ img {
115108
/* -- search page ----------------------------------------------------------- */
116109

117110
ul.search {
118-
margin: 10px 0 0 20px;
119-
padding: 0;
111+
margin-top: 10px;
120112
}
121113

122114
ul.search li {
123-
padding: 5px 0 5px 20px;
124-
background-image: url(file.png);
125-
background-repeat: no-repeat;
126-
background-position: 0 7px;
115+
padding: 5px 0;
127116
}
128117

129118
ul.search li a {

_static/doctools.js

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,5 @@
11
/*
2-
* doctools.js
3-
* ~~~~~~~~~~~
4-
*
52
* Base JavaScript utilities for all Sphinx HTML documentation.
6-
*
7-
* :copyright: Copyright 2007-2024 by the Sphinx team, see AUTHORS.
8-
* :license: BSD, see LICENSE for details.
9-
*
103
*/
114
"use strict";
125

_static/language_data.js

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,13 +1,6 @@
11
/*
2-
* language_data.js
3-
* ~~~~~~~~~~~~~~~~
4-
*
52
* This script contains the language-specific data used by searchtools.js,
63
* namely the list of stopwords, stemmer, scorer and splitter.
7-
*
8-
* :copyright: Copyright 2007-2024 by the Sphinx team, see AUTHORS.
9-
* :license: BSD, see LICENSE for details.
10-
*
114
*/
125

136
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"];

_static/searchtools.js

Lines changed: 25 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,5 @@
11
/*
2-
* searchtools.js
3-
* ~~~~~~~~~~~~~~~~
4-
*
52
* Sphinx JavaScript utilities for the full-text search.
6-
*
7-
* :copyright: Copyright 2007-2024 by the Sphinx team, see AUTHORS.
8-
* :license: BSD, see LICENSE for details.
9-
*
103
*/
114
"use strict";
125

@@ -20,7 +13,7 @@ if (typeof Scorer === "undefined") {
2013
// and returns the new score.
2114
/*
2215
score: result => {
23-
const [docname, title, anchor, descr, score, filename] = result
16+
const [docname, title, anchor, descr, score, filename, kind] = result
2417
return score
2518
},
2619
*/
@@ -47,6 +40,14 @@ if (typeof Scorer === "undefined") {
4740
};
4841
}
4942

43+
// Global search result kind enum, used by themes to style search results.
44+
class SearchResultKind {
45+
static get index() { return "index"; }
46+
static get object() { return "object"; }
47+
static get text() { return "text"; }
48+
static get title() { return "title"; }
49+
}
50+
5051
const _removeChildren = (element) => {
5152
while (element && element.lastChild) element.removeChild(element.lastChild);
5253
};
@@ -64,9 +65,13 @@ const _displayItem = (item, searchTerms, highlightTerms) => {
6465
const showSearchSummary = DOCUMENTATION_OPTIONS.SHOW_SEARCH_SUMMARY;
6566
const contentRoot = document.documentElement.dataset.content_root;
6667

67-
const [docName, title, anchor, descr, score, _filename] = item;
68+
const [docName, title, anchor, descr, score, _filename, kind] = item;
6869

6970
let listItem = document.createElement("li");
71+
// Add a class representing the item's type:
72+
// can be used by a theme's CSS selector for styling
73+
// See SearchResultKind for the class names.
74+
listItem.classList.add(`kind-${kind}`);
7075
let requestUrl;
7176
let linkUrl;
7277
if (docBuilder === "dirhtml") {
@@ -115,8 +120,10 @@ const _finishSearch = (resultCount) => {
115120
"Your search did not match any documents. Please make sure that all words are spelled correctly and that you've selected enough categories."
116121
);
117122
else
118-
Search.status.innerText = _(
119-
"Search finished, found ${resultCount} page(s) matching the search query."
123+
Search.status.innerText = Documentation.ngettext(
124+
"Search finished, found one page matching the search query.",
125+
"Search finished, found ${resultCount} pages matching the search query.",
126+
resultCount,
120127
).replace('${resultCount}', resultCount);
121128
};
122129
const _displayNextItem = (
@@ -138,7 +145,7 @@ const _displayNextItem = (
138145
else _finishSearch(resultCount);
139146
};
140147
// Helper function used by query() to order search results.
141-
// Each input is an array of [docname, title, anchor, descr, score, filename].
148+
// Each input is an array of [docname, title, anchor, descr, score, filename, kind].
142149
// Order the results by score (in opposite order of appearance, since the
143150
// `_displayNextItem` function uses pop() to retrieve items) and then alphabetically.
144151
const _orderResultsByScoreThenName = (a, b) => {
@@ -248,6 +255,7 @@ const Search = {
248255
searchSummary.classList.add("search-summary");
249256
searchSummary.innerText = "";
250257
const searchList = document.createElement("ul");
258+
searchList.setAttribute("role", "list");
251259
searchList.classList.add("search");
252260

253261
const out = document.getElementById("search-results");
@@ -318,7 +326,7 @@ const Search = {
318326
const indexEntries = Search._index.indexentries;
319327

320328
// Collect multiple result groups to be sorted separately and then ordered.
321-
// Each is an array of [docname, title, anchor, descr, score, filename].
329+
// Each is an array of [docname, title, anchor, descr, score, filename, kind].
322330
const normalResults = [];
323331
const nonMainIndexResults = [];
324332

@@ -337,6 +345,7 @@ const Search = {
337345
null,
338346
score + boost,
339347
filenames[file],
348+
SearchResultKind.title,
340349
]);
341350
}
342351
}
@@ -354,6 +363,7 @@ const Search = {
354363
null,
355364
score,
356365
filenames[file],
366+
SearchResultKind.index,
357367
];
358368
if (isMain) {
359369
normalResults.push(result);
@@ -475,6 +485,7 @@ const Search = {
475485
descr,
476486
score,
477487
filenames[match[0]],
488+
SearchResultKind.object,
478489
]);
479490
};
480491
Object.keys(objects).forEach((prefix) =>
@@ -585,6 +596,7 @@ const Search = {
585596
null,
586597
score,
587598
filenames[file],
599+
SearchResultKind.text,
588600
]);
589601
}
590602
return results;

api.html

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@
55
<meta name="color-scheme" content="light dark"><meta name="viewport" content="width=device-width, initial-scale=1" />
66
<link rel="index" title="Index" href="genindex.html" /><link rel="search" title="Search" href="search.html" /><link rel="next" title="Changelog" href="changelog.html" /><link rel="prev" title="array-api-strict" href="index.html" />
77

8-
<link rel="shortcut icon" href="_static/favicon.png"/><!-- Generated with Sphinx 8.0.2 and Furo 2024.08.06 -->
8+
<link rel="shortcut icon" href="_static/favicon.png"/><!-- Generated with Sphinx 8.1.3 and Furo 2024.08.06 -->
99
<title>API Reference - array-api-strict documentation</title>
1010
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=a746c00c" />
1111
<link rel="stylesheet" type="text/css" href="_static/styles/furo.css?v=354aac6f" />
@@ -585,7 +585,7 @@ <h2>Array API Functions<a class="headerlink" href="#array-api-functions" title="
585585
</aside>
586586
</div>
587587
</div><script src="_static/documentation_options.js?v=5929fcd5"></script>
588-
<script src="_static/doctools.js?v=9a2dae69"></script>
588+
<script src="_static/doctools.js?v=9bcbadda"></script>
589589
<script src="_static/sphinx_highlight.js?v=dc90522c"></script>
590590
<script src="_static/scripts/furo.js?v=5fa4622c"></script>
591591
<script src="_static/clipboard.min.js?v=a7894cd8"></script>

changelog.html

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@
55
<meta name="color-scheme" content="light dark"><meta name="viewport" content="width=device-width, initial-scale=1" />
66
<link rel="index" title="Index" href="genindex.html" /><link rel="search" title="Search" href="search.html" /><link rel="prev" title="API Reference" href="api.html" />
77

8-
<link rel="shortcut icon" href="_static/favicon.png"/><!-- Generated with Sphinx 8.0.2 and Furo 2024.08.06 -->
8+
<link rel="shortcut icon" href="_static/favicon.png"/><!-- Generated with Sphinx 8.1.3 and Furo 2024.08.06 -->
99
<title>Changelog - array-api-strict documentation</title>
1010
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=a746c00c" />
1111
<link rel="stylesheet" type="text/css" href="_static/styles/furo.css?v=354aac6f" />
@@ -411,7 +411,7 @@ <h2>1.0 (2024-01-24)<a class="headerlink" href="#id6" title="Link to this headin
411411
</aside>
412412
</div>
413413
</div><script src="_static/documentation_options.js?v=5929fcd5"></script>
414-
<script src="_static/doctools.js?v=9a2dae69"></script>
414+
<script src="_static/doctools.js?v=9bcbadda"></script>
415415
<script src="_static/sphinx_highlight.js?v=dc90522c"></script>
416416
<script src="_static/scripts/furo.js?v=5fa4622c"></script>
417417
<script src="_static/clipboard.min.js?v=a7894cd8"></script>

genindex.html

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
<meta name="viewport" content="width=device-width,initial-scale=1"/>
55
<meta name="color-scheme" content="light dark"><link rel="index" title="Index" href="#" /><link rel="search" title="Search" href="search.html" />
66

7-
<link rel="shortcut icon" href="_static/favicon.png"/><!-- Generated with Sphinx 8.0.2 and Furo 2024.08.06 --><title>Index - array-api-strict documentation</title>
7+
<link rel="shortcut icon" href="_static/favicon.png"/><!-- Generated with Sphinx 8.1.3 and Furo 2024.08.06 --><title>Index - array-api-strict documentation</title>
88
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=a746c00c" />
99
<link rel="stylesheet" type="text/css" href="_static/styles/furo.css?v=354aac6f" />
1010
<link rel="stylesheet" type="text/css" href="_static/copybutton.css?v=76b2166b" />
@@ -376,7 +376,7 @@ <h2>S</h2>
376376
</aside>
377377
</div>
378378
</div><script src="_static/documentation_options.js?v=5929fcd5"></script>
379-
<script src="_static/doctools.js?v=9a2dae69"></script>
379+
<script src="_static/doctools.js?v=9bcbadda"></script>
380380
<script src="_static/sphinx_highlight.js?v=dc90522c"></script>
381381
<script src="_static/scripts/furo.js?v=5fa4622c"></script>
382382
<script src="_static/clipboard.min.js?v=a7894cd8"></script>

index.html

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@
55
<meta name="color-scheme" content="light dark"><meta name="viewport" content="width=device-width, initial-scale=1" />
66
<link rel="index" title="Index" href="genindex.html" /><link rel="search" title="Search" href="search.html" /><link rel="next" title="API Reference" href="api.html" />
77

8-
<link rel="shortcut icon" href="_static/favicon.png"/><!-- Generated with Sphinx 8.0.2 and Furo 2024.08.06 -->
8+
<link rel="shortcut icon" href="_static/favicon.png"/><!-- Generated with Sphinx 8.1.3 and Furo 2024.08.06 -->
99
<title>array-api-strict documentation</title>
1010
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=a746c00c" />
1111
<link rel="stylesheet" type="text/css" href="_static/styles/furo.css?v=354aac6f" />
@@ -481,7 +481,7 @@ <h2>Caveats<a class="headerlink" href="#caveats" title="Link to this heading">¶
481481
</aside>
482482
</div>
483483
</div><script src="_static/documentation_options.js?v=5929fcd5"></script>
484-
<script src="_static/doctools.js?v=9a2dae69"></script>
484+
<script src="_static/doctools.js?v=9bcbadda"></script>
485485
<script src="_static/sphinx_highlight.js?v=dc90522c"></script>
486486
<script src="_static/scripts/furo.js?v=5fa4622c"></script>
487487
<script src="_static/clipboard.min.js?v=a7894cd8"></script>

py-modindex.html

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
<meta name="viewport" content="width=device-width,initial-scale=1"/>
55
<meta name="color-scheme" content="light dark"><link rel="index" title="Index" href="genindex.html" /><link rel="search" title="Search" href="search.html" />
66

7-
<link rel="shortcut icon" href="_static/favicon.png"/><!-- Generated with Sphinx 8.0.2 and Furo 2024.08.06 --><title>Python Module Index - array-api-strict documentation</title>
7+
<link rel="shortcut icon" href="_static/favicon.png"/><!-- Generated with Sphinx 8.1.3 and Furo 2024.08.06 --><title>Python Module Index - array-api-strict documentation</title>
88
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=a746c00c" />
99
<link rel="stylesheet" type="text/css" href="_static/styles/furo.css?v=354aac6f" />
1010
<link rel="stylesheet" type="text/css" href="_static/copybutton.css?v=76b2166b" />
@@ -301,7 +301,7 @@ <h1>Python Module Index</h1>
301301
</aside>
302302
</div>
303303
</div><script src="_static/documentation_options.js?v=5929fcd5"></script>
304-
<script src="_static/doctools.js?v=9a2dae69"></script>
304+
<script src="_static/doctools.js?v=9bcbadda"></script>
305305
<script src="_static/sphinx_highlight.js?v=dc90522c"></script>
306306
<script src="_static/scripts/furo.js?v=5fa4622c"></script>
307307
<script src="_static/clipboard.min.js?v=a7894cd8"></script>

search.html

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@
55
<meta name="viewport" content="width=device-width,initial-scale=1"/>
66
<meta name="color-scheme" content="light dark"><link rel="index" title="Index" href="genindex.html" /><link rel="search" title="Search" href="#" />
77

8-
<link rel="shortcut icon" href="_static/favicon.png"/><!-- Generated with Sphinx 8.0.2 and Furo 2024.08.06 -->
8+
<link rel="shortcut icon" href="_static/favicon.png"/><!-- Generated with Sphinx 8.1.3 and Furo 2024.08.06 -->
99
<meta name="robots" content="noindex" />
1010
<title>Search - array-api-strict documentation</title><link rel="stylesheet" type="text/css" href="_static/pygments.css?v=a746c00c" />
1111
<link rel="stylesheet" type="text/css" href="_static/styles/furo.css?v=354aac6f" />
@@ -288,7 +288,7 @@
288288
</aside>
289289
</div>
290290
</div><script src="_static/documentation_options.js?v=5929fcd5"></script>
291-
<script src="_static/doctools.js?v=9a2dae69"></script>
291+
<script src="_static/doctools.js?v=9bcbadda"></script>
292292
<script src="_static/sphinx_highlight.js?v=dc90522c"></script>
293293
<script src="_static/scripts/furo.js?v=5fa4622c"></script>
294294
<script src="_static/clipboard.min.js?v=a7894cd8"></script>

0 commit comments

Comments
 (0)