Hi Bruno, all,
Thanks for reporting these bugs.
Le 07/01/2026 à 12:26, Bruno Haible a écrit :
Hi Thérèse,
A year ago, you were working on GNU's /style.css. [1]
So I guess you are the best person to evaluate the 4 problem reports
from Gavin Smith in
https://lists.gnu.org/archive/html/bug-gnulib/2026-01/msg00015.html
https://lists.gnu.org/archive/html/bug-gnulib/2026-01/msg00016.html
?
Bruno
[1] https://lists.gnu.org/archive/html/bug-gnulib/2024-10/msg00187.html
Gavin Smith wrote:
The gendocs.sh script that is part of Gnulib by default includes a reference
to a CSS file for the HTML output that it generates for Texinfo manuals.
The CSS file is here:
https://www.gnu.org/software/gnulib/manual.css
I have checked the appearance of Texinfo's own manual with this stylesheet.
There are no major problems that I could see, but there were a few
minor problems. I list the four problems I found below.
------------------------------------------------------
* @group creates a thin blank line on the coloured background in @example.
This is due to a margin on the div.group element.
This appears to be set in a rule in the included file
https://www.gnu.org/style.css:
/* For make, gawk, bison, etc. */
div[class*="example"] > pre + pre, div[class*="example"] > .group {
margin: 3px 0;
}
The @group command is for affecting page breaks, which make no sense
in an HTML file, and so @group should have no user-visible effect in HTML.
@group is converted to <div class="group">. That's why I thought it
could be styled. The idea was to separate groups of commands for
clarity.
I removed this style.
If you don't want this texinfo command to affect HTML, you might
consider suppressing its conversion.
* The output of @acronym is underlined and the mouse cursor changes when
over the text, even though clicking it does nothing.
This is due to a rule in 'style.css':
abbr,acronym {
font-variant: normal;
border: 0;
border-bottom:1px dotted #000;
text-decoration: none;
cursor:help;
}
Presumably, hovering over the text produces a pop-up with the expansion
of the acronym if this expansion is given as the second argument to @acronym.
But there's no guarantee that such an argument was given.
This style now applies to <acronym title="..."> and <abbr title="...">.
Even though Chrome and Firefox don't need it, it is still helpful for
minor browsers such as NetSurf that render those elements as normal
text, but display the attribute upon hovering.
* The main symbol on a definition line from a command such as @deftypefn
is not distinguishable due to everything being bold. Only the name of
the defined symbol should be in bold.
This is due to the setting for dt in 'style.css':
h1, h2, h3, h4, h5, h6, strong, dt, th { font-weight: bold; }
The output for this has changed over the last couple of releases:
it's possible that the main symbol is also output with a larger font
size, but with the current development version, a consistent font size
is used for the entire definition line.
dt isn't bold anymore. A slightly larger font can be used instead if you
wish.
* The output of @displaymath has a blue background. This is appearently
not intentional, as it comes from these rules in 'style.css':
/* Backgrounds should more or less correspond to what the <pre> is used for,
but this varies a lot across manuals. */
pre[class^="example"], pre[class^="lisp"] {
background: #f9f6ed; /* very light tan */
}
pre[class^="display"] {
background: #e7eef9; /* light blue */
}
pre[class*="example"], pre[class*="lisp"], pre[class^="display"],
pre.verbatim, div[class*="example"], table.cartouche {
border-radius: .3em;
}
Evidently only @display was intended to be targeted here, but @displaymath
is included by the CSS attribute selector pre[class^="display"].
(in Texinfo 7.1, this was output with <div> not <pre>, so the rule
did not apply).)
Now, this style should only apply to <pre class="display">.
[...]
Best,
Thérèse
