Merge branch 'main' into docs-4

This commit is contained in:
Francisco Arceo 2025-04-10 14:15:54 -06:00 committed by GitHub
commit d7c976c6d2
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
38 changed files with 4709 additions and 8876 deletions

View file

@ -20,3 +20,6 @@
h3 {
font-weight: normal;
}
html[data-theme="dark"] .rst-content div[class^="highlight"] {
background-color: #0b0b0b;
}

9
docs/_static/js/detect_theme.js vendored Normal file
View file

@ -0,0 +1,9 @@
document.addEventListener("DOMContentLoaded", function () {
const prefersDark = window.matchMedia("(prefers-color-scheme: dark)").matches;
const htmlElement = document.documentElement;
if (prefersDark) {
htmlElement.setAttribute("data-theme", "dark");
} else {
htmlElement.setAttribute("data-theme", "light");
}
});