From 70c374792f44ed4fcc1a615a86a2b600d23540c9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 13 Jul 2002 17:11:55 +0000
Subject: Remove extra hr, use h3

---
 html/mailinglist | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

diff --git a/html/mailinglist b/html/mailinglist
index 95614f1c..b7b81c4a 100644
--- a/html/mailinglist
+++ b/html/mailinglist
@@ -9,7 +9,7 @@ used for announcements of new versions, and occasional
 discussions amongst users.
 </p>
 
-<h2>Subscriptions</h2>
+<h3>Subscriptions</h3>
 <p>
 To <b>subscribe or unsubscribe</b>, visit
 the 
@@ -24,7 +24,7 @@ in the message body.
 </p>
 
 
-<h2>Posting</h2>
+<h3>Posting</h3>
 <p>
 The canonical mailing list address is 
 <a href="mailto:users@proofgeneral.org"><tt>users@proofgeneral.org</tt></a>.
@@ -37,14 +37,12 @@ In an effort to prevent spam, posting is restricted to list members.
 Please <a href="http://lists.informatics.ed.ac.uk/mailman/listinfo/proofgeneral">subscribe here</a> before attempting to post.
 </p>
 
-<h2>Archives</h2>
+<h3>Archives</h3>
 <p>
 Archives of the list (since July 2002) are kept
 <a href="http://lists.informatics.ed.ac.uk/pipermail/proofgeneral">here</a>.
 </p>
 
-<hr>
-
 <?php
    click_to_go_back();
    footer();
-- 
cgit v1.2.3