PATCH: index.html

[Gerald Pfeifer]

I really would like to switch to CSS in the not-too-far future, but
compatibility with older browsers (and a bit more time <g>) still are
issues, so for now I went with this.

(If someone wants to contribute a conservative CSS style, that certainly
would be welcome!)

Gerald

Tweak formatting of headings.

Index: index.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/index.html,v
retrieving revision 1.386
diff -u -3 -p -r1.386 index.html
--- index.html	20 Jul 2003 10:22:36 -0000	1.386
+++ index.html	1 Aug 2003 12:37:51 -0000
@@ -79,13 +79,13 @@ to maintain and improve quality.</p>
 <hr />

 <!--
-<h2>Upcoming Events</h2>
+<h2><small>Upcoming Events</small></h2>

 <dl>
 </dl>
 -->

-<h2>News/Announcements</h2>
+<h2><small>News/Announcements</small></h2>

 <dl>