1
0
Fork 0
mirror of https://github.com/ganelson/inform.git synced 2024-07-05 00:24:22 +03:00

Merge pull request #84 from DavidKinder/master

Dark mode HTML generation fixes
This commit is contained in:
David Kinder 2023-02-09 07:40:09 +00:00 committed by GitHub
commit 35a76e9d4a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 15 additions and 9 deletions

View file

@ -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 */

View file

@ -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 */