s/H4/H3/g

1 files changed, 3 insertions, 3 deletions

diff --git a/devel.html b/devel.html
index bee788a9..8ed6d944 100644
--- a/devel.html
+++ b/devel.html
@@ -29,14 +29,14 @@
 </TD>
 <TD ALIGN="LEFT" VALIGN="TOP">
 <HR>
-<H4><A NAME="contents">Table of Contents</A></H4>
+<H3><A NAME="contents">Table of Contents</A></H3>
 <UL>
   <LI><A HREF="#contrib" NAME="TOCcontrib">Contributing</A>
   <LI><A HREF="#tasks" NAME="TOCtasks">Tasks</A>
 </UL>
 <HR>
 
-<H4><A HREF="#TOCcontrib" NAME="contrib">Contributing</A></H4>
+<H3><A HREF="#TOCcontrib" NAME="contrib">Contributing</A></H3>
 <P>
 If you want to contribute to the Hurd, you should first install and
 use it for a while, to become familiar with its features and design.
@@ -47,7 +47,7 @@ mailing list, which is also the place where you can announce your
 intentions, make your proposals and send in your patches.
 <P>
 
-<H4><A HREF="#TOCtasks" NAME="tasks">Tasks</A></H4>
+<H3><A HREF="#TOCtasks" NAME="tasks">Tasks</A></H3>
 <P>
 Developing an operating system is a huge job, with a lot of different
 things to do.  Beside all the obvious ones (writing documentation,