From 113052b13e29a67b4fe4221e8bf772ad813ebfb7 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 3 Jul 1999 17:33:19 +0000
Subject: Tweaks and validation fixes.

---
 html/doc.phtml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'html/doc.phtml')

diff --git a/html/doc.phtml b/html/doc.phtml
index cfc68d30..4b67c547 100644
--- a/html/doc.phtml
+++ b/html/doc.phtml
@@ -1,4 +1,4 @@
-<h2>Manual</h3>
+<h2>Manual</h2>
 
 <p>
 Full documentation for Proof General is included in the <?php
@@ -19,7 +19,7 @@ For printing you can download the
 <!-- <?php download_link("ProofGeneral/doc/ProofGeneral.pdf", "pdf") ?> -->
 </p>
 <p>
-<it>Warning:</it> the manual above is taken from the current
+<i>Warning:</i> the manual above is taken from the current
 pre-release and may be updated from the documentation included
 in the last stable release.
 </p>
-- 
cgit v1.2.3