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

[wwwdocs] Remove unused styles from gnu.css

2011-04-03 Thread Gerald Pfeifer
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, removing a number of unused styles. Applied. Gerald Ind