Hello,
I'm revising the main stylesheet (/style.css) to fix issues in some
manuals, but gnulib/manual.css is also involved.
There are 2 problematic things in manual.css:
* <body> width: 45em is too narrow for some big tables and <pre> [1].
One has to go all the way down to the bottom of the element to find the
horizontal scroll bar. We could choose to let <pre> and/or <table>
overflow outside <body> and use the page scroll bar if needed, but this
doesn't look good. I think a width of 50em would prevent most overflows,
and keep the text easy to read.
* Highlighting of <blockquote>: this red border is a bit disturbing. Red
is typically used for critical warnings, not quotations. In any case,
I'm not sure we want to highlight <blockquote> at all when it is used
for quotations, acknowledgements, notes and warnings in a single manual
[2], with no way for CSS to tell the difference.
In addition, some definitions could be removed:
1) This is redundant with /style.css.
var { font-style: italic; }
2) This isn't useful with the current version of /style.css, as dd, li
and blockquote are the only indented elements.
/* layout.css indents "body p" when it should probably only indent
"body > p"?
In any case, disable indenting of p in these sub elements. */
dd p,li p {
margin-left: 0;
margin-right: 0;
}
3) This is not relevant anymore, because 'example' and 'lisp' have the
same style and only have a border if they are within 'cartouche'.
/* Lay out @lisp just like @example. Copied from what /style.css
does for the 'example' class. */
div.lisp { padding: .8em 1.2em .4em; }
pre.lisp { padding: .8em 1.2em; }
div.lisp, pre.lisp {
margin: 1em 0 1em 3% ;
-webkit-border-radius: .3em;
-moz-border-radius: .3em;
border-radius: .3em;
border: 1px solid #d4cbb6;
background-color: #f2efe4;
}
div.lisp > pre.lisp {
padding: 0 0 .4em;
margin: 0;
border: none;
}
Thanks in advance for looking into these changes.
Best,
Thérèse
[1] https://www.gnu.org/software/autogen/manual/html_node/xml2ag-usage.html
[2] https://www.gnu.org/software/gawk/manual/gawk.html
