[Maxima-commits] [git] Maxima CAS branch rtoy-manual-css-more-vars updated. branch-5_48-base-291-gd9e825f93

[rtoy <rt...@us...>]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "Maxima CAS".

The branch, rtoy-manual-css-more-vars has been updated
       via  d9e825f93c06d0092373599bc7e9836b316f9af2 (commit)
       via  4f004058ae370c216242632a2f5128109a61b170 (commit)
       via  81041bd8c03bddb7cd7c55c90b42552bf8a57f40 (commit)
      from  021ea6918064b38f86b38e219538ec255edf6e6e (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit d9e825f93c06d0092373599bc7e9836b316f9af2
Author: Raymond Toy <toy...@gm...>
Date:   Wed Nov 26 07:03:19 2025 -0800

    Move pygment CSS stuff together

diff --git a/doc/info/manual.css b/doc/info/manual.css
index 016c5978f..98ffcfbb4 100644
--- a/doc/info/manual.css
+++ b/doc/info/manual.css
@@ -93,15 +93,6 @@ pre.example, pre.example-preformatted {
     overflow: auto;
 }
 
-/*
- * For pygments, make the background color of the highlighted code the
- * same as the example background color.  Without this, it looks funny.
- */
-
-div.highlight {
-    background-color: var(--example-background-color) !important;
-}
-
 div.spacerbox { border: none; padding: 2em 0 }
 div.image { margin: 0; padding: 1em; text-align: center }
 div.categorybox {
@@ -152,14 +143,27 @@ dd { margin-left: 0.5em }
     dd { margin-left: 1.5em }
 }
 
-/* CSS for pygment highlighting */
+/*
+ * CSS customizations for pygment highlighting
+ */
+
+/*
+ * For pygments, make the background color of the highlighted code the
+ * same as the example background color.  Without this, it looks funny.
+ */
+
+div.highlight {
+    background-color: var(--example-background-color) !important;
+}
+
 .example.user-maxima {
     overflow-x: auto
 }
 
 .highlight.pre {
-    /* Lines for highlighted examples are too close by default with
-     *  pygments.  Make it larger.
+    /*
+     * Lines for highlighted examples are too close by default with
+     * pygments.  Make it larger.
      */
     line-height: normal !important;
 }

commit 4f004058ae370c216242632a2f5128109a61b170
Author: Raymond Toy <toy...@gm...>
Date:   Wed Nov 26 06:58:54 2025 -0800

    Remove @media dark mode CSS that's not used anymore
    
    This has all been replaced with variables for dark-mode colors, so
    this @media isn't used.  Remove it.
    
    Also add a comment about div.textbox and friends apparently not being
    used anywhere.  We comment them out for now, but they should
    eventually be removed if not used.

diff --git a/doc/info/manual.css b/doc/info/manual.css
index 22b096742..016c5978f 100644
--- a/doc/info/manual.css
+++ b/doc/info/manual.css
@@ -61,6 +61,11 @@ a:hover, span.button:hover {
     background-color: var(--hover-background-color);
     color: var(--hover-color);
 }
+/*
+ * What are these used for?  I (rtoy) can't find these anywhere.
+ * Commenting these out for now, but they should be removed if they're
+ * not really used anywhere.
+ */
 /*
 div.textbox {
     border: solid;
@@ -78,6 +83,7 @@ div.synopsisbox {
     background: var(--div-synopsisbox-background-color);
 }
 */
+
 pre.example, pre.example-preformatted {
     border: var(--pre-example-border);
     color: var(--text-color);
@@ -145,38 +151,6 @@ dd { margin-left: 0.5em }
     ul,ol { padding-left: 2em }
     dd { margin-left: 1.5em }
 }
-@media (prefers-color-scheme: dark) {
-/*
-    body {
-        background: #444;
-           color: #eee
-         }
-    a:link {
-        color: #9df;
-    }
-    a:visited {color: #9fd }
-    a:hover, span.button:hover {
-        background-color: #ddd;
-        color: #55f;
-    }
-    div.header, div.nav-panel {
-        background-color: #555;
-    }
-    pre.example, pre.example-preformatted {
-        border: 1px solid black;
-        color: black;
-        background-color: var(--example-background-color);
-    }
-    div.highlight {
-        background-color: var(--example-background-color) !important;
-    }
-    div.categorybox { background-color: #544 }
-*/
-/*
-    div.textbox, div.titlebox, div.synopsisbox {
-        color: var(--div-titlebox-background-color);}
-*/
-}
 
 /* CSS for pygment highlighting */
 .example.user-maxima {

commit 81041bd8c03bddb7cd7c55c90b42552bf8a57f40
Author: Raymond Toy <toy...@gm...>
Date:   Mon Nov 24 13:46:31 2025 -0800

    Comment out CSS for textbox, titlebox, and synposisbox
    
    These don't seem to be used anywhere so comment them out.
    
    Also do some minor cleanups and add some comments.

diff --git a/doc/info/manual.css b/doc/info/manual.css
index 2947b0145..22b096742 100644
--- a/doc/info/manual.css
+++ b/doc/info/manual.css
@@ -1,7 +1,7 @@
-/* Define variable for background color for examples */
+/* Define colors for light and dark mode */
 :root {
     /* Default light mode colors */
-    --background-color: #ffffff; /* White background */
+    --background-color: white;
     --text-color: black;
     --example-background-color: rgb(238,238,255);
     --link-color: #00f;
@@ -61,6 +61,7 @@ a:hover, span.button:hover {
     background-color: var(--hover-background-color);
     color: var(--hover-color);
 }
+/*
 div.textbox {
     border: solid;
     border-width: thin;
@@ -76,6 +77,7 @@ div.synopsisbox {
     padding-top: 1em 2em;
     background: var(--div-synopsisbox-background-color);
 }
+*/
 pre.example, pre.example-preformatted {
     border: var(--pre-example-border);
     color: var(--text-color);

-----------------------------------------------------------------------

Summary of changes:
 doc/info/manual.css | 66 +++++++++++++++++++----------------------------------
 1 file changed, 23 insertions(+), 43 deletions(-)


hooks/post-receive
-- 
Maxima CAS