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?

[wwwdocs] Add revised Texinfo manual CSS

2023-01-26 Thread Arsen Arsenović via Gcc-patches
--- htdocs/texinfo-manuals.css | 129 + 1 file changed, 129 insertions(+) create mode 100644 htdocs/texinfo-manuals.css diff --git a/htdocs/texinfo-manuals.css b/htdocs/texinfo-manuals.css new file mode 100644 index ..a7e0fc4e --- /dev/null +++ b/htdoc