From 4172d05d0b63fb4f9622b7e48eda6581cc124072 Mon Sep 17 00:00:00 2001
From: David Kinder <david.kinder@david.kinder>
Date: Sat, 28 Jan 2023 19:54:52 +0000
Subject: [PATCH] Dark mode improvements for extension documentation and the
 extension index

---
 inform7/Internal/HTML/macos-platform.css   | 11 +++++++----
 inform7/Internal/HTML/windows-platform.css | 13 ++++++++-----
 2 files changed, 15 insertions(+), 9 deletions(-)

diff --git a/inform7/Internal/HTML/macos-platform.css b/inform7/Internal/HTML/macos-platform.css
index 8e42a1220..08eead1e1 100644
--- a/inform7/Internal/HTML/macos-platform.css
+++ b/inform7/Internal/HTML/macos-platform.css
@@ -11,6 +11,7 @@
     --stripe-two-background-colour: #f3f6fa;
 
     --index-dull-red-colour: #800000;
+    --index-dull-blue-colour: #000080;
     --periodic-table-sidebar-colour: #888;
     --periodic-table-sidebar-hover-colour: #222;
     --leaders-background-colour: white;
@@ -19,7 +20,7 @@
     --index-more-box-background-colour: #e0e0e0;
     --index-activity-contents-background-colour: #e8e0c0;
     --registry-contents-link-colour: #202020;
-
+    --extension-index-entry-colour: #404040;
 }
 
 @media (prefers-color-scheme: dark) {
@@ -31,10 +32,11 @@
     --heading-panel-failed-background-colour: #7b4e53;
 
     --heading-row-background-colour: #707070;
-    --stripe-one-background-colour: #7f7f7f;
-    --stripe-two-background-colour: #797b7d;
+    --stripe-one-background-colour: #000000;
+    --stripe-two-background-colour: #090b0d;
 
     --index-dull-red-colour: #c00000;
+    --index-dull-blue-colour: #4040c0;
     --periodic-table-sidebar-colour: #555;
     --periodic-table-sidebar-hover-colour: #222;
     --leaders-background-colour: black;
@@ -43,6 +45,7 @@
     --index-more-box-background-colour: #444444;
     --index-activity-contents-background-colour: #727060;
     --registry-contents-link-colour: #ffffff;
+    --extension-index-entry-colour: #c0c0c0;
     }
 }
 
@@ -304,7 +307,7 @@ span.indexdullgreen {
 }
 
 span.indexdullblue {
-    color: #000080;
+    color: var(--index-dull-blue-colour);
 }
 
 /* Used in the numbering of levels of the World map in the Index */
diff --git a/inform7/Internal/HTML/windows-platform.css b/inform7/Internal/HTML/windows-platform.css
index 0fc50e826..699f046b9 100755
--- a/inform7/Internal/HTML/windows-platform.css
+++ b/inform7/Internal/HTML/windows-platform.css
@@ -11,6 +11,7 @@
     --stripe-two-background-colour: #f3f6fa;
 
     --index-dull-red-colour: #800000;
+    --index-dull-blue-colour: #000080;
     --periodic-table-sidebar-colour: #888;
     --periodic-table-sidebar-hover-colour: #222;
     --leaders-background-colour: white;
@@ -19,7 +20,7 @@
     --index-more-box-background-colour: #e0e0e0;
     --index-activity-contents-background-colour: #e8e0c0;
     --registry-contents-link-colour: #202020;
-
+    --extension-index-entry-colour: #404040;
 }
 
 @media (prefers-color-scheme: dark) {
@@ -31,10 +32,11 @@
     --heading-panel-failed-background-colour: #7b4e53;
 
     --heading-row-background-colour: #707070;
-    --stripe-one-background-colour: #7f7f7f;
-    --stripe-two-background-colour: #797b7d;
+    --stripe-one-background-colour: #000000;
+    --stripe-two-background-colour: #090b0d;
 
     --index-dull-red-colour: #c00000;
+    --index-dull-blue-colour: #4040c0;
     --periodic-table-sidebar-colour: #555;
     --periodic-table-sidebar-hover-colour: #222;
     --leaders-background-colour: #121212;
@@ -43,6 +45,7 @@
     --index-more-box-background-colour: #444444;
     --index-activity-contents-background-colour: #727060;
     --registry-contents-link-colour: #ffffff;
+    --extension-index-entry-colour: #c0c0c0;
     }
 }
 
@@ -157,7 +160,7 @@ span.extensioncensusentry {
 }
 
 span.extensionindexentry {
-    color: #404040;
+    color: var(--extension-index-entry-colour);
 }
 
 span.extensionindexerror {
@@ -304,7 +307,7 @@ span.indexdullgreen {
 }
 
 span.indexdullblue {
-    color: #000080;
+    color: var(--index-dull-blue-colour);
 }
 
 /* Used in the numbering of levels of the World map in the Index */