This commit is contained in:
github-actions[bot]
2026-01-27 07:17:52 +00:00
parent d94275d778
commit ed8b3b0144
64 changed files with 207 additions and 188 deletions
+1 -1
View File
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
+2 -2
View File
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
+8 -8
View File
@@ -642,13 +642,13 @@ blockquote { margin: 10px 0; margin-block-start: 0; margin-inline-start: 0; padd
.site-header { display: flex; min-height: 3.75rem; align-items: center; }
@media (min-width: 50rem) { .site-header { height: 3.75rem; max-height: 3.75rem; border-bottom: 1px solid #44434d; } }
.site-title { flex-grow: 1; display: flex; height: 100%; align-items: center; padding-top: 0.75rem; padding-bottom: 0.75rem; color: #f5f6fa; padding-right: 1rem; padding-left: 1rem; }
.site-title { flex-grow: 1; display: flex; height: 100%; align-items: center; padding-top: 0.75rem; padding-bottom: 0.75rem; color: #f5f6fa; outline-offset: -1px; padding-right: 1rem; padding-left: 1rem; }
@media (min-width: 50rem) { .site-title { padding-right: 2rem; padding-left: 2rem; } }
.site-title { font-size: 1.125rem !important; }
@media (min-width: 31.25rem) { .site-title { font-size: 1.5rem !important; line-height: 1.25; } }
@media (min-width: 50rem) { .site-title { padding-top: 0.5rem; padding-bottom: 0.5rem; } }
.site-button { display: flex; height: 100%; padding: 1rem; align-items: center; }
.site-button { display: flex; height: 100%; padding: 1rem; align-items: center; outline-offset: -1px; }
@media (min-width: 50rem) { .site-header .site-button { display: none; } }
.site-title:hover { background-image: linear-gradient(-90deg, #201f23 0%, rgba(32, 31, 35, 0.8) 80%, rgba(32, 31, 35, 0) 100%); }
@@ -706,12 +706,12 @@ blockquote { margin: 10px 0; margin-block-start: 0; margin-inline-start: 0; padd
@media (min-width: 50rem) { .nav-list .nav-list-item { font-size: 0.75rem !important; } }
@media (min-width: 50rem) and (min-width: 31.25rem) { .nav-list .nav-list-item { font-size: 0.875rem !important; } }
.nav-list .nav-list-item .nav-list-link { display: block; min-height: 3rem; padding-top: 0.25rem; padding-bottom: 0.25rem; line-height: 2.5rem; padding-right: 3rem; padding-left: 1rem; }
.nav-list .nav-list-item .nav-list-link { display: block; min-height: 3rem; padding-top: 0.25rem; padding-bottom: 0.25rem; line-height: 2.5rem; outline-offset: -1px; padding-right: 3rem; padding-left: 1rem; }
@media (min-width: 50rem) { .nav-list .nav-list-item .nav-list-link { min-height: 2rem; line-height: 1.5rem; padding-right: 2rem; padding-left: 2rem; } }
.nav-list .nav-list-item .nav-list-link.external > svg { width: 1rem; height: 1rem; vertical-align: text-bottom; }
.nav-list .nav-list-item .nav-list-link.active { font-weight: 600; text-decoration: none; }
.nav-list .nav-list-item .nav-list-link:hover, .nav-list .nav-list-item .nav-list-link.active { color: #4593fb; background-image: linear-gradient(-90deg, #201f23 0%, rgba(32, 31, 35, 0.8) 80%, rgba(32, 31, 35, 0) 100%); }
.nav-list .nav-list-item .nav-list-expander { position: absolute; right: 0; width: 3rem; height: 3rem; padding: 0.75rem; color: #5ea1fb; }
.nav-list .nav-list-item .nav-list-expander { position: absolute; right: 0; width: 3rem; height: 3rem; padding: 0.75rem; color: #5ea1fb; outline-offset: -1px; }
@media (min-width: 50rem) { .nav-list .nav-list-item .nav-list-expander { width: 2rem; height: 2rem; padding: 0.5rem; } }
.nav-list .nav-list-item .nav-list-expander:hover { background-image: linear-gradient(-90deg, #201f23 0%, rgba(32, 31, 35, 0.8) 100%); }
.nav-list .nav-list-item .nav-list-expander svg { transform: rotate(90deg); }
@@ -840,7 +840,7 @@ h6, .text-zeta { font-size: 0.6875rem !important; }
.search-input { position: absolute; width: 100%; height: 100%; padding: 0.5rem 1rem 0.5rem 2.5rem; font-size: 1rem; color: #e6e1e8; background-color: #302d36; border-top: 0; border-right: 0; border-bottom: 0; border-left: 0; border-radius: 0; }
@media (min-width: 50rem) { .search-input { padding: 0.5rem 1rem 0.5rem 3.5rem; font-size: 0.875rem; background-color: #27262b; transition: padding-left linear 200ms; } }
.search-input:focus { outline: 2px solid #5ea1fb; outline-offset: -2px; }
.search-input:focus { outline-offset: -1px; }
.search-input:focus + .search-label .search-icon { color: #5ea1fb; }
.search-label { position: absolute; display: flex; height: 100%; padding-left: 1rem; }
@@ -858,7 +858,7 @@ h6, .text-zeta { font-size: 0.6875rem !important; }
.search-results-list-item { padding: 0; margin: 0; }
.search-result { display: block; padding: 0.25rem 0.75rem; }
.search-result { display: block; padding: 0.25rem 0.75rem; outline-offset: -1px; }
.search-result:hover, .search-result.active { background-color: #201f23; }
.search-result-title { display: block; padding-top: 0.5rem; padding-bottom: 0.5rem; }
@@ -2622,12 +2622,12 @@ code.language-mermaid { padding: 0; background-color: inherit; border: 0; }
.py-xl-10 { padding-top: 4rem !important; padding-bottom: 4rem !important; } }
@media print { .site-footer, .site-button, #edit-this-page, #back-to-top, .site-nav, .main-header { display: none !important; }
hr { margin-top: 1rem; margin-bottom: 1rem; }
.side-bar { width: 100%; height: auto; border-right: 0 !important; }
.side-bar { width: 100%; height: auto; border-right: 0 !important; /* Disable display: flex and position: fixed from non-print styles */ position: static; display: block; }
.site-header { border-bottom: 1px solid #44434d; }
.site-title { font-size: 1rem !important; font-weight: 700 !important; }
.text-small { font-size: 8pt !important; }
pre.highlight { border: 1px solid #44434d; }
.main { max-width: none; margin-left: 0; } }
.main { max-width: none; margin-left: 0 !important; /* Necessary to override .side-bar + .main specificity */ } }
a.skip-to-main { left: -999px; position: absolute; top: auto; width: 1px; height: 1px; overflow: hidden; z-index: -999; }
a.skip-to-main:focus, a.skip-to-main:active { color: #5ea1fb; background-color: #27262b; left: auto; top: auto; width: 30%; height: auto; overflow: auto; margin: 10px 35%; padding: 5px; border-radius: 15px; border: 4px solid #264caf; text-align: center; font-size: 1.2em; z-index: 999; }
+8 -8
View File
@@ -400,13 +400,13 @@ blockquote { margin: 10px 0; margin-block-start: 0; margin-inline-start: 0; padd
.site-header { display: flex; min-height: 3.75rem; align-items: center; }
@media (min-width: 50rem) { .site-header { height: 3.75rem; max-height: 3.75rem; border-bottom: 1px solid #eeebee; } }
.site-title { flex-grow: 1; display: flex; height: 100%; align-items: center; padding-top: 0.75rem; padding-bottom: 0.75rem; color: #27262b; padding-right: 1rem; padding-left: 1rem; }
.site-title { flex-grow: 1; display: flex; height: 100%; align-items: center; padding-top: 0.75rem; padding-bottom: 0.75rem; color: #27262b; outline-offset: -1px; padding-right: 1rem; padding-left: 1rem; }
@media (min-width: 50rem) { .site-title { padding-right: 2rem; padding-left: 2rem; } }
.site-title { font-size: 1.125rem !important; }
@media (min-width: 31.25rem) { .site-title { font-size: 1.5rem !important; line-height: 1.25; } }
@media (min-width: 50rem) { .site-title { padding-top: 0.5rem; padding-bottom: 0.5rem; } }
.site-button { display: flex; height: 100%; padding: 1rem; align-items: center; }
.site-button { display: flex; height: 100%; padding: 1rem; align-items: center; outline-offset: -1px; }
@media (min-width: 50rem) { .site-header .site-button { display: none; } }
.site-title:hover { background-image: linear-gradient(-90deg, #ebedf5 0%, rgba(235, 237, 245, 0.8) 80%, rgba(235, 237, 245, 0) 100%); }
@@ -464,12 +464,12 @@ blockquote { margin: 10px 0; margin-block-start: 0; margin-inline-start: 0; padd
@media (min-width: 50rem) { .nav-list .nav-list-item { font-size: 0.75rem !important; } }
@media (min-width: 50rem) and (min-width: 31.25rem) { .nav-list .nav-list-item { font-size: 0.875rem !important; } }
.nav-list .nav-list-item .nav-list-link { display: block; min-height: 3rem; padding-top: 0.25rem; padding-bottom: 0.25rem; line-height: 2.5rem; padding-right: 3rem; padding-left: 1rem; }
.nav-list .nav-list-item .nav-list-link { display: block; min-height: 3rem; padding-top: 0.25rem; padding-bottom: 0.25rem; line-height: 2.5rem; outline-offset: -1px; padding-right: 3rem; padding-left: 1rem; }
@media (min-width: 50rem) { .nav-list .nav-list-item .nav-list-link { min-height: 2rem; line-height: 1.5rem; padding-right: 2rem; padding-left: 2rem; } }
.nav-list .nav-list-item .nav-list-link.external > svg { width: 1rem; height: 1rem; vertical-align: text-bottom; }
.nav-list .nav-list-item .nav-list-link.active { font-weight: 600; text-decoration: none; }
.nav-list .nav-list-item .nav-list-link:hover, .nav-list .nav-list-item .nav-list-link.active { color: #195cdb; background-image: linear-gradient(-90deg, #ebedf5 0%, rgba(235, 237, 245, 0.8) 80%, rgba(235, 237, 245, 0) 100%); }
.nav-list .nav-list-item .nav-list-expander { position: absolute; right: 0; width: 3rem; height: 3rem; padding: 0.75rem; color: #2869e6; }
.nav-list .nav-list-item .nav-list-expander { position: absolute; right: 0; width: 3rem; height: 3rem; padding: 0.75rem; color: #2869e6; outline-offset: -1px; }
@media (min-width: 50rem) { .nav-list .nav-list-item .nav-list-expander { width: 2rem; height: 2rem; padding: 0.5rem; } }
.nav-list .nav-list-item .nav-list-expander:hover { background-image: linear-gradient(-90deg, #ebedf5 0%, rgba(235, 237, 245, 0.8) 100%); }
.nav-list .nav-list-item .nav-list-expander svg { transform: rotate(90deg); }
@@ -598,7 +598,7 @@ h6, .text-zeta { font-size: 0.6875rem !important; }
.search-input { position: absolute; width: 100%; height: 100%; padding: 0.5rem 1rem 0.5rem 2.5rem; font-size: 1rem; color: #5c5962; background-color: #fff; border-top: 0; border-right: 0; border-bottom: 0; border-left: 0; border-radius: 0; }
@media (min-width: 50rem) { .search-input { padding: 0.5rem 1rem 0.5rem 3.5rem; font-size: 0.875rem; background-color: #fff; transition: padding-left linear 200ms; } }
.search-input:focus { outline: 2px solid #2869e6; outline-offset: -2px; }
.search-input:focus { outline-offset: -1px; }
.search-input:focus + .search-label .search-icon { color: #2869e6; }
.search-label { position: absolute; display: flex; height: 100%; padding-left: 1rem; }
@@ -616,7 +616,7 @@ h6, .text-zeta { font-size: 0.6875rem !important; }
.search-results-list-item { padding: 0; margin: 0; }
.search-result { display: block; padding: 0.25rem 0.75rem; }
.search-result { display: block; padding: 0.25rem 0.75rem; outline-offset: -1px; }
.search-result:hover, .search-result.active { background-color: #ebedf5; }
.search-result-title { display: block; padding-top: 0.5rem; padding-bottom: 0.5rem; }
@@ -2380,12 +2380,12 @@ code.language-mermaid { padding: 0; background-color: inherit; border: 0; }
.py-xl-10 { padding-top: 4rem !important; padding-bottom: 4rem !important; } }
@media print { .site-footer, .site-button, #edit-this-page, #back-to-top, .site-nav, .main-header { display: none !important; }
hr { margin-top: 1rem; margin-bottom: 1rem; }
.side-bar { width: 100%; height: auto; border-right: 0 !important; }
.side-bar { width: 100%; height: auto; border-right: 0 !important; /* Disable display: flex and position: fixed from non-print styles */ position: static; display: block; }
.site-header { border-bottom: 1px solid #eeebee; }
.site-title { font-size: 1rem !important; font-weight: 700 !important; }
.text-small { font-size: 8pt !important; }
pre.highlight { border: 1px solid #eeebee; }
.main { max-width: none; margin-left: 0; } }
.main { max-width: none; margin-left: 0 !important; /* Necessary to override .side-bar + .main specificity */ } }
a.skip-to-main { left: -999px; position: absolute; top: auto; width: 1px; height: 1px; overflow: hidden; z-index: -999; }
a.skip-to-main:focus, a.skip-to-main:active { color: #2869e6; background-color: #fff; left: auto; top: auto; width: 30%; height: auto; overflow: auto; margin: 10px 35%; padding: 5px; border-radius: 15px; border: 4px solid #5e41d0; text-align: center; font-size: 1.2em; z-index: 999; }
+8 -8
View File
@@ -392,13 +392,13 @@ blockquote { margin: 10px 0; margin-block-start: 0; margin-inline-start: 0; padd
.site-header { display: flex; min-height: 3.75rem; align-items: center; }
@media (min-width: 50rem) { .site-header { height: 3.75rem; max-height: 3.75rem; border-bottom: 1px solid #eeebee; } }
.site-title { flex-grow: 1; display: flex; height: 100%; align-items: center; padding-top: 0.75rem; padding-bottom: 0.75rem; color: #27262b; padding-right: 1rem; padding-left: 1rem; }
.site-title { flex-grow: 1; display: flex; height: 100%; align-items: center; padding-top: 0.75rem; padding-bottom: 0.75rem; color: #27262b; outline-offset: -1px; padding-right: 1rem; padding-left: 1rem; }
@media (min-width: 50rem) { .site-title { padding-right: 2rem; padding-left: 2rem; } }
.site-title { font-size: 1.125rem !important; }
@media (min-width: 31.25rem) { .site-title { font-size: 1.5rem !important; line-height: 1.25; } }
@media (min-width: 50rem) { .site-title { padding-top: 0.5rem; padding-bottom: 0.5rem; } }
.site-button { display: flex; height: 100%; padding: 1rem; align-items: center; }
.site-button { display: flex; height: 100%; padding: 1rem; align-items: center; outline-offset: -1px; }
@media (min-width: 50rem) { .site-header .site-button { display: none; } }
.site-title:hover { background-image: linear-gradient(-90deg, #ebedf5 0%, rgba(235, 237, 245, 0.8) 80%, rgba(235, 237, 245, 0) 100%); }
@@ -456,12 +456,12 @@ blockquote { margin: 10px 0; margin-block-start: 0; margin-inline-start: 0; padd
@media (min-width: 50rem) { .nav-list .nav-list-item { font-size: 0.75rem !important; } }
@media (min-width: 50rem) and (min-width: 31.25rem) { .nav-list .nav-list-item { font-size: 0.875rem !important; } }
.nav-list .nav-list-item .nav-list-link { display: block; min-height: 3rem; padding-top: 0.25rem; padding-bottom: 0.25rem; line-height: 2.5rem; padding-right: 3rem; padding-left: 1rem; }
.nav-list .nav-list-item .nav-list-link { display: block; min-height: 3rem; padding-top: 0.25rem; padding-bottom: 0.25rem; line-height: 2.5rem; outline-offset: -1px; padding-right: 3rem; padding-left: 1rem; }
@media (min-width: 50rem) { .nav-list .nav-list-item .nav-list-link { min-height: 2rem; line-height: 1.5rem; padding-right: 2rem; padding-left: 2rem; } }
.nav-list .nav-list-item .nav-list-link.external > svg { width: 1rem; height: 1rem; vertical-align: text-bottom; }
.nav-list .nav-list-item .nav-list-link.active { font-weight: 600; text-decoration: none; }
.nav-list .nav-list-item .nav-list-link:hover, .nav-list .nav-list-item .nav-list-link.active { color: #5f3ceb; background-image: linear-gradient(-90deg, #ebedf5 0%, rgba(235, 237, 245, 0.8) 80%, rgba(235, 237, 245, 0) 100%); }
.nav-list .nav-list-item .nav-list-expander { position: absolute; right: 0; width: 3rem; height: 3rem; padding: 0.75rem; color: #7253ed; }
.nav-list .nav-list-item .nav-list-expander { position: absolute; right: 0; width: 3rem; height: 3rem; padding: 0.75rem; color: #7253ed; outline-offset: -1px; }
@media (min-width: 50rem) { .nav-list .nav-list-item .nav-list-expander { width: 2rem; height: 2rem; padding: 0.5rem; } }
.nav-list .nav-list-item .nav-list-expander:hover { background-image: linear-gradient(-90deg, #ebedf5 0%, rgba(235, 237, 245, 0.8) 100%); }
.nav-list .nav-list-item .nav-list-expander svg { transform: rotate(90deg); }
@@ -590,7 +590,7 @@ h6, .text-zeta { font-size: 0.6875rem !important; }
.search-input { position: absolute; width: 100%; height: 100%; padding: 0.5rem 1rem 0.5rem 2.5rem; font-size: 1rem; color: #5c5962; background-color: #fff; border-top: 0; border-right: 0; border-bottom: 0; border-left: 0; border-radius: 0; }
@media (min-width: 50rem) { .search-input { padding: 0.5rem 1rem 0.5rem 3.5rem; font-size: 0.875rem; background-color: #fff; transition: padding-left linear 200ms; } }
.search-input:focus { outline: 2px solid #7253ed; outline-offset: -2px; }
.search-input:focus { outline-offset: -1px; }
.search-input:focus + .search-label .search-icon { color: #7253ed; }
.search-label { position: absolute; display: flex; height: 100%; padding-left: 1rem; }
@@ -608,7 +608,7 @@ h6, .text-zeta { font-size: 0.6875rem !important; }
.search-results-list-item { padding: 0; margin: 0; }
.search-result { display: block; padding: 0.25rem 0.75rem; }
.search-result { display: block; padding: 0.25rem 0.75rem; outline-offset: -1px; }
.search-result:hover, .search-result.active { background-color: #ebedf5; }
.search-result-title { display: block; padding-top: 0.5rem; padding-bottom: 0.5rem; }
@@ -2372,12 +2372,12 @@ code.language-mermaid { padding: 0; background-color: inherit; border: 0; }
.py-xl-10 { padding-top: 4rem !important; padding-bottom: 4rem !important; } }
@media print { .site-footer, .site-button, #edit-this-page, #back-to-top, .site-nav, .main-header { display: none !important; }
hr { margin-top: 1rem; margin-bottom: 1rem; }
.side-bar { width: 100%; height: auto; border-right: 0 !important; }
.side-bar { width: 100%; height: auto; border-right: 0 !important; /* Disable display: flex and position: fixed from non-print styles */ position: static; display: block; }
.site-header { border-bottom: 1px solid #eeebee; }
.site-title { font-size: 1rem !important; font-weight: 700 !important; }
.text-small { font-size: 8pt !important; }
pre.highlight { border: 1px solid #eeebee; }
.main { max-width: none; margin-left: 0; } }
.main { max-width: none; margin-left: 0 !important; /* Necessary to override .side-bar + .main specificity */ } }
a.skip-to-main { left: -999px; position: absolute; top: auto; width: 1px; height: 1px; overflow: hidden; z-index: -999; }
a.skip-to-main:focus, a.skip-to-main:active { color: #7253ed; background-color: #fff; left: auto; top: auto; width: 30%; height: auto; overflow: auto; margin: 10px 35%; padding: 5px; border-radius: 15px; border: 4px solid #5e41d0; text-align: center; font-size: 1.2em; z-index: 999; }
+19
View File
@@ -382,6 +382,25 @@ function searchLoaded(index, docs) {
setTimeout(update, 0);
});
// When the search bar is *not* focused, it should be hidden. This code
// manages that - which is a bit tricky given that we can't just rely on
// focusout, since we could be re-focusing within the search itself.
const updateSearchFocus = function(evt) {
const nextFocusedElement = evt.relatedTarget;
// Re-focusing on search bar - "keep focus"
if (nextFocusedElement.id === 'search-input') return;
// Re-focusing on the next search result element - "keep focus"
if (nextFocusedElement.classList.contains('search-result')) return;
// Otherwise, we're not focused on the search bar anymore. Hide!
hideSearch();
}
searchInput.addEventListener('focusout', updateSearchFocus);
searchResults.addEventListener('focusout', updateSearchFocus);
jtd.addEvent(searchInput, 'keyup', function(e){
switch (e.keyCode) {
case 27: // When esc key is pressed, hide the results and clear the field
File diff suppressed because one or more lines are too long
+2 -2
View File
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
+2 -2
View File
File diff suppressed because one or more lines are too long
+3 -3
View File
File diff suppressed because one or more lines are too long
+2 -2
View File
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long
File diff suppressed because one or more lines are too long

Some files were not shown because too many files have changed in this diff Show More