aboutsummaryrefslogtreecommitdiff
path: root/devel.html
diff options
context:
space:
mode:
Diffstat (limited to 'devel.html')
-rw-r--r--devel.html6
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,