From c9edf4799259fa0401e098933737facc41987a65 Mon Sep 17 00:00:00 2001
From: Tisha Jain <103413370+tishajain25@users.noreply.github.com>
Date: Wed, 8 Oct 2025 17:47:14 +0530
Subject: [PATCH 01/13] Add dark mode toggle to documentation
- Implement CSS custom properties for light/dark themes
- Add toggle button with sun/moon icons in header
- Include JavaScript for theme switching and localStorage persistence
- Support system preference detection (prefers-color-scheme)
- Add dark syntax highlighting theme for code blocks
- Ensure accessibility with ARIA labels and proper contrast
- Provide smooth transitions between themes
Fixes #3793
---
docs/_document.html | 27 ++++-
docs/css/hljs-github-dark.css | 205 ++++++++++++++++++++++++++++++++++
docs/css/style.css | 110 ++++++++++++++++--
docs/js/index.js | 82 ++++++++++++++
4 files changed, 407 insertions(+), 17 deletions(-)
create mode 100644 docs/css/hljs-github-dark.css
diff --git a/docs/_document.html b/docs/_document.html
index b76588947c..17f920debd 100644
--- a/docs/_document.html
+++ b/docs/_document.html
@@ -6,10 +6,11 @@
+
-
-
-
-
- Marked Documentation
+
+
+
+
+
Marked Documentation
+
+