Re: [wwwdocs] Remove unused styles from gnu.css

2011-04-04 Thread Gerald Pfeifer
On Sun, 3 Apr 2011, Gerald Pfeifer wrote: > And this is just more of the same which I missed in my first > round. Three's the charm. Also installed. Gerald Index: gnu.css === RCS file: /cvs/gcc/wwwdocs/htdocs/gnu.css,v retrieving r

Re: [wwwdocs] Remove unused styles from gnu.css

2011-04-03 Thread Gerald Pfeifer
On Sun, 3 Apr 2011, Gerald Pfeifer wrote: > In 2006 we imported this from www.gnu.org to align our appearance > with the one there. Alas, that site kept evolving (and inconsistently > so), and in fact removed this style, and I'll be trying to clean this > up now. > > This is the first step, remov