Menu
▾
▴
[Maxima-commits] [git] Maxima CAS branch rtoy-highlightjs-example-maxima-blocks-texi-dev updated. branch-5_48-base-365-g72cb52f47
|
From: rtoy <rt...@us...> - 2025-11-29 15:08:28
|
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-highlightjs-example-maxima-blocks-texi-dev has been updated
via 72cb52f47d84cfa8a9c890868e7e77f8a9b6c67f (commit)
via 81b23f2191a6764016610ac93dbd74edba0045d1 (commit)
via c92b19a8a86c7fb1f2c7898647da045421a47083 (commit)
via d931b3374b5d60ebfaaaafda050e042a571c881c (commit)
via 5e51fb893730956af2d7664bfe4950b0c0d7e0e6 (commit)
via 9987caa266f49eb1c2af201880c5d8a5214cf961 (commit)
via 53ae7d628a859fe44f4df908245a270f502c1f97 (commit)
via 1ecb9bcc5643f302b56e5cb87de65245eefee3c7 (commit)
via 4bfce99888373c3a98f28d070b7e03136d446877 (commit)
via a4546c9094c8d35c9d59e5374285652aec63293d (commit)
via 81712b7ec36931da2fdfc1c663fb3bffee1f2fc3 (commit)
via c380557ab485e0d5fc5b4c775216081f686214df (commit)
via bb404ea5eeb2a3bae0d3cea46708d36992124b09 (commit)
via 4e3369868f0e9eab00d57fb011f9c7824a93927c (commit)
via 6e49a965367ebb5410dcfa195147d433e92d0012 (commit)
via 5c0df12aadf24e0ed8bf0a9dcaf654a295fea9bf (commit)
via ac7f321aa11bfc2eb0aa98f1f9ebdd1468fc5028 (commit)
via 71ff3c56185e723a9d0bacfecdb6f96b732d99f2 (commit)
via d2edf1daed08af4ea45ddd7d1ae79604a7e15d28 (commit)
via 7b0ca10415d19903d8e65e88f3293a1ddf38f0bc (commit)
via 7f57f45cce15f7fbf3119227a6025845c110ba99 (commit)
from 6be27cc3d78d7b20357bd426a5cb73d6a4664c7f (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 72cb52f47d84cfa8a9c890868e7e77f8a9b6c67f
Author: Raymond Toy <toy...@gm...>
Date: Sat Nov 29 07:07:42 2025 -0800
Add pygments.custom.css
This is the pgyments stuff that was in manual.css.
diff --git a/doc/info/pygments.custom.css b/doc/info/pygments.custom.css
new file mode 100644
index 000000000..077c3ffbd
--- /dev/null
+++ b/doc/info/pygments.custom.css
@@ -0,0 +1,32 @@
+/*
+ * CSS customizations for pygment highlighting
+ */
+
+/*
+ * Pygments uses a line height of 125%, which seems too small compared
+ * to what we used to do.
+ */
+div.highlight pre {
+ line-height: normal !important;
+}
+
+/*
+ * 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.
+ */
+ line-height: normal !important;
+}
commit 81b23f2191a6764016610ac93dbd74edba0045d1
Author: Raymond Toy <toy...@gm...>
Date: Sat Nov 29 07:04:52 2025 -0800
Move pygments css from manual.css to another file
To simplify manual.css a bit, move the customatizations for pygments
to another css file (pygments.custom.css) that's loaded only if
pygments is specified. This file is included by texi2html.init.in.
Configure is updated to insert the new file into texi2html2.init.in
diff --git a/configure.ac b/configure.ac
index a72ed3276..8b8a68af8 100644
--- a/configure.ac
+++ b/configure.ac
@@ -928,6 +928,9 @@ EOF
type="text/css"
href="pygments.dark.css"
media="(prefers-color-scheme: dark)">
+<link rel="stylesheet"
+ type="text/css"
+ href="pygments.custom.css">
EOF
)"
fi
diff --git a/doc/info/manual.css b/doc/info/manual.css
index ab87f4411..72cec2427 100644
--- a/doc/info/manual.css
+++ b/doc/info/manual.css
@@ -135,35 +135,3 @@ dd { margin-left: 0.5em }
dd { margin-left: 1.5em }
}
-/*
- * CSS customizations for pygment highlighting
- */
-
-/*
- * Pygments uses a line height of 125%, which seems too small compared
- * to what we used to do.
- */
-div.highlight pre {
- line-height: normal !important;
-}
-
-/*
- * 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.
- */
- line-height: normal !important;
-}
commit c92b19a8a86c7fb1f2c7898647da045421a47083
Merge: 6be27cc3d d931b3374
Author: Raymond Toy <toy...@gm...>
Date: Fri Nov 28 13:49:53 2025 -0800
Merge branch 'master' into rtoy-highlightjs-example-maxima-blocks-texi-dev
diff --cc doc/info/manual.css
index c65a29667,98ffcfbb4..ab87f4411
--- a/doc/info/manual.css
+++ b/doc/info/manual.css
@@@ -101,14 -118,14 +118,6 @@@ div.header, div.nav-panel
padding: 3px 10px;
}
--/*
-- * Pygments uses a line height of 125%, which seems too small compared
-- * to what we used to do.
-- */
--div.highlight pre {
-- line-height: normal !important;
--}
--
/* Reduce the indentation of lists and descriptions */
ul,ol { padding-left: 1em }
dd { margin-left: 0.5em }
@@@ -125,35 -142,20 +134,28 @@@
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: black;}
+
+ /*
+ * CSS customizations for pygment highlighting
+ */
+
++/*
++ * Pygments uses a line height of 125%, which seems too small compared
++ * to what we used to do.
++ */
++div.highlight pre {
++ line-height: normal !important;
++}
++
+ /*
+ * 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;
}
- /* CSS for pygment highlighting */
.example.user-maxima {
overflow-x: auto
}
-----------------------------------------------------------------------
Summary of changes:
configure.ac | 108 +-----------------
doc/info/Bugs.texi | 6 +-
doc/info/Input.texi | 4 +-
doc/info/draw.texi | 2 +
doc/info/manual.css | 125 ++++++++-------------
doc/info/pygments.custom.css | 32 ++++++
maxima-local.in | 15 +--
.../gentran/test/compare_var_translations.mac | 81 +++++++++++++
share/contrib/gentran/test/foo-fortran.template | 20 ++++
share/contrib/gentran/test/foo-ratfor.template | 15 +++
share/draw/gnuplot.lisp | 26 ++++-
share/draw/grcommon.lisp | 3 +-
src/command-line.lisp | 3 -
src/globals.lisp | 3 +-
src/init-cl.lisp | 61 ++++++----
src/maxima-build.lisp | 3 +-
src/mload.lisp | 16 ++-
17 files changed, 292 insertions(+), 231 deletions(-)
create mode 100644 doc/info/pygments.custom.css
create mode 100644 share/contrib/gentran/test/compare_var_translations.mac
create mode 100644 share/contrib/gentran/test/foo-fortran.template
create mode 100644 share/contrib/gentran/test/foo-ratfor.template
hooks/post-receive
--
Maxima CAS
|
