Re: [wwwdocs] Add revised Texinfo manual CSS

2023-02-23 Thread Arsen Arsenović via Gcc-patches
Morning, Gerald Pfeifer writes: > On Fri, 27 Jan 2023, Arsen Arsenović via Gcc-patches wrote: >> htdocs/texinfo-manuals.css | 129 + > > Thank you - I pushed this. > > +/* Texinfo documentation stylesheet. > + Inspired by the Gnulib manual, 2023-01-26. > + >

Re: [wwwdocs] Add revised Texinfo manual CSS

2023-02-23 Thread Gerald Pfeifer
On Fri, 27 Jan 2023, Arsen Arsenović via Gcc-patches wrote: > htdocs/texinfo-manuals.css | 129 + Thank you - I pushed this. +/* Texinfo documentation stylesheet. + Inspired by the Gnulib manual, 2023-01-26. + + Arsen Arsenović Can we rephrase this a bit?