On Sun, 4 Sep 2016, Gerald Pfeifer wrote:
> With the patch below I follow a slightly different approach,
> referring to the global CSS we already have in place now instead.
> That also allows tweaking this more dynamically.
>
> I'll be looking into the actual style change next.
And here we go;
On Wed, 22 May 2013, Shakthi Kannan wrote:
> Is the following patch okay for trunk?
Sorry for the enormous delay in getting to this. Not sure why that
fell through the cracks. :-(
The idea is a fine one, and would have worked back then. Since the
end of last year or so, the web server at gcc.
Hi,
Is the following patch okay for trunk?
SK
- Original Message -
From: "Shakthi Kannan"
To: "Joseph S. Myers"
Cc: gcc-patches@gcc.gnu.org
Sent: Monday, May 6, 2013 4:00:06 PM
Subject: Re: [PATCH, wwwdocs] Fix PR 50642
Hi,
I am re-submitting the patch to use html.css from the update
