Skip to content

Commit ee1a7ce

Browse files
Deploy: 0df7d04
1 parent 2ec10f5 commit ee1a7ce

25 files changed

Lines changed: 68 additions & 81 deletions

_modules/index.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-
<!-- Generated with Sphinx 8.0.2 and Furo 2024.08.06 -->
7+
<!-- Generated with Sphinx 8.1.0 and Furo 2024.08.06 -->
88
<title>Overview: module code - mkl_random 1.2.7 documentation</title>
99
<link rel="stylesheet" type="text/css" href="../_static/pygments.css?v=a746c00c" />
1010
<link rel="stylesheet" type="text/css" href="../_static/styles/furo.css?v=354aac6f" />
@@ -286,7 +286,7 @@ <h1>All modules for which code is available</h1>
286286
</aside>
287287
</div>
288288
</div><script src="../_static/documentation_options.js?v=a5753347"></script>
289-
<script src="../_static/doctools.js?v=9a2dae69"></script>
289+
<script src="../_static/doctools.js?v=9bcbadda"></script>
290290
<script src="../_static/sphinx_highlight.js?v=dc90522c"></script>
291291
<script src="../_static/scripts/furo.js?v=5fa4622c"></script>
292292
<script src="../_static/design-tabs.js?v=f930bc37"></script>

_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;

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-
<!-- Generated with Sphinx 8.0.2 and Furo 2024.08.06 --><title>Index - mkl_random 1.2.7 documentation</title>
7+
<!-- Generated with Sphinx 8.1.0 and Furo 2024.08.06 --><title>Index - mkl_random 1.2.7 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/sphinx-design.min.css?v=95c83b7e" />
@@ -568,7 +568,7 @@ <h2>Z</h2>
568568
</aside>
569569
</div>
570570
</div><script src="_static/documentation_options.js?v=a5753347"></script>
571-
<script src="_static/doctools.js?v=9a2dae69"></script>
571+
<script src="_static/doctools.js?v=9bcbadda"></script>
572572
<script src="_static/sphinx_highlight.js?v=dc90522c"></script>
573573
<script src="_static/scripts/furo.js?v=5fa4622c"></script>
574574
<script src="_static/design-tabs.js?v=f930bc37"></script>

how_to.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="mkl_random APIs" href="reference/index.html" /><link rel="prev" title="Beginner’s guide" href="tutorials.html" />
77

8-
<!-- Generated with Sphinx 8.0.2 and Furo 2024.08.06 -->
8+
<!-- Generated with Sphinx 8.1.0 and Furo 2024.08.06 -->
99
<title>How-to Guides - mkl_random 1.2.7 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" />
@@ -417,7 +417,7 @@ <h2>Stochastic computations in parallel with multiprocessing<a class="headerlink
417417
</aside>
418418
</div>
419419
</div><script src="_static/documentation_options.js?v=a5753347"></script>
420-
<script src="_static/doctools.js?v=9a2dae69"></script>
420+
<script src="_static/doctools.js?v=9bcbadda"></script>
421421
<script src="_static/sphinx_highlight.js?v=dc90522c"></script>
422422
<script src="_static/scripts/furo.js?v=5fa4622c"></script>
423423
<script src="_static/design-tabs.js?v=f930bc37"></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="Beginner’s guide" href="tutorials.html" />
77

8-
<!-- Generated with Sphinx 8.0.2 and Furo 2024.08.06 -->
8+
<!-- Generated with Sphinx 8.1.0 and Furo 2024.08.06 -->
99
<title>mkl_random 1.2.7 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" />
@@ -364,7 +364,7 @@ <h1><code class="xref py py-mod docutils literal notranslate"><span class="pre">
364364
</aside>
365365
</div>
366366
</div><script src="_static/documentation_options.js?v=a5753347"></script>
367-
<script src="_static/doctools.js?v=9a2dae69"></script>
367+
<script src="_static/doctools.js?v=9bcbadda"></script>
368368
<script src="_static/sphinx_highlight.js?v=dc90522c"></script>
369369
<script src="_static/scripts/furo.js?v=5fa4622c"></script>
370370
<script src="_static/design-tabs.js?v=f930bc37"></script>

maintenance/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="prev" title="ARS5 brng" href="../reference/ars5.html" />
77

8-
<!-- Generated with Sphinx 8.0.2 and Furo 2024.08.06 -->
8+
<!-- Generated with Sphinx 8.1.0 and Furo 2024.08.06 -->
99
<title>Contributing - mkl_random 1.2.7 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" />
@@ -348,7 +348,7 @@ <h1>Contributing<a class="headerlink" href="#contributing" title="Link to this h
348348
</aside>
349349
</div>
350350
</div><script src="../_static/documentation_options.js?v=a5753347"></script>
351-
<script src="../_static/doctools.js?v=9a2dae69"></script>
351+
<script src="../_static/doctools.js?v=9bcbadda"></script>
352352
<script src="../_static/sphinx_highlight.js?v=dc90522c"></script>
353353
<script src="../_static/scripts/furo.js?v=5fa4622c"></script>
354354
<script src="../_static/design-tabs.js?v=f930bc37"></script>

reference/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="MT19937 brng" href="mt19937.html" /><link rel="prev" title="mkl_random APIs" href="index.html" />
77

8-
<!-- Generated with Sphinx 8.0.2 and Furo 2024.08.06 -->
8+
<!-- Generated with Sphinx 8.1.0 and Furo 2024.08.06 -->
99
<title>Class RandomState - mkl_random 1.2.7 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" />
@@ -3791,7 +3791,7 @@
37913791
</aside>
37923792
</div>
37933793
</div><script src="../_static/documentation_options.js?v=a5753347"></script>
3794-
<script src="../_static/doctools.js?v=9a2dae69"></script>
3794+
<script src="../_static/doctools.js?v=9bcbadda"></script>
37953795
<script src="../_static/sphinx_highlight.js?v=dc90522c"></script>
37963796
<script src="../_static/scripts/furo.js?v=5fa4622c"></script>
37973797
<script src="../_static/design-tabs.js?v=f930bc37"></script>

0 commit comments

Comments
 (0)