Re: [Manual CSS] Suggested changes

[Paul Eggert]

Thanks for the suggestions. I installed the attached patch to 
<https://www.gnu.org/software/gnulib/manual.css>, as I think that's what 
you had in mind. If I'm wrong please let us know.Index: manual.css
===================================================================
RCS file: /web/gnulib/gnulib/manual.css,v
retrieving revision 1.11
retrieving revision 1.12
diff -u -r1.11 -r1.12
--- manual.css	7 Oct 2023 08:53:00 -0000	1.11
+++ manual.css	25 Oct 2024 22:06:33 -0000	1.12
@@ -2,37 +2,9 @@
 
 @import url('/style.css');
 
-/* makeinfo 6.5 converts @quotation to <blockquote>.  Highlight them.  */
-blockquote {
-    font-style: normal;
-    border-left: solid 10px red;
-    padding-left: 2.5%;
-    margin-left: 0px;
-}
-
 /* Increase inter-line spacing to improve readability.  */
 p, pre, li, dt, dd, table, code, address { line-height: 1.5em; }
 
-var { font-style: italic; }
-
-/* 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;
-}
-
 /* makeinfo 6.7 uses <div class="header"> for navigation links above node
    titles.  Make those links less prominent.  */
 .header {
@@ -49,13 +21,6 @@
 
 /* ----- coreutils specific styling ----- */
 
-/* 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;
-}
-
 /* underlined links are distracting, especially within outlined tables.  */
 a { /*add :link for external links*/
     text-decoration: none; /* don't underline links by default */
@@ -66,7 +31,7 @@
 }
 
 body {
-    /* Make sure the body doesn't become to wide: long lines are hard to
+    /* Make sure the body doesn't become too wide: long lines are hard to
        read.  */
-    max-width: 45em;
+    max-width: 50em;
 }