[wwwdocs] index.html -- replace local style with CSS

Sun Apr 10 14:15:00 GMT 2016

With this change, gcc.gnu.org and www.gnu.org/software/gcc/ are 
nearly in sync again in their appearance.

(Using a descriptive class like this, instead of a more abstract
one or specific to the main page, does not excite me, but it is
easy enough to tweak later depending on how things evolve.)

Applied.

Gerald

Index: index.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/index.html,v
retrieving revision 1.999
diff -u -r1.999 index.html

--- index.html	10 Mar 2016 12:43:22 -0000	1.999
+++ index.html	10 Apr 2016 08:40:27 -0000
@@ -10,7 +10,7 @@
 <set-var navigation>
 <body>
 
-<h1 style="margin-top:0;">GCC, the GNU Compiler Collection</h1>
+<h1 class="no-margin-top">GCC, the GNU Compiler Collection</h1>
 
 <img src="img/gccegg-65.png" alt="" align="right" />
 
Index: gcc.css
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/gcc.css,v
retrieving revision 1.39
diff -u -r1.39 gcc.css
--- gcc.css	9 Apr 2016 16:25:57 -0000	1.39
+++ gcc.css	10 Apr 2016 08:40:26 -0000
@@ -15,6 +15,7 @@
 .highlight{ color: darkslategray; font-weight:bold; }
 .smaller  { font-size: 80%; }
 
+.no-margin-top { margin-top:0; }
 .twocolumns { column-counts:2; -moz-column-count:2; }
 
 td.news      { width: 50%; padding-right: 8px; }

