From 3c4e89e92f4200f65c6b2d8497c62ed560cfbcaa Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 27 Sep 2000 14:28:52 +0000
Subject: Updated web pages, misc improvements.

---
 html/smallheader.phtml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'html/smallheader.phtml')

diff --git a/html/smallheader.phtml b/html/smallheader.phtml
index 2cb36ce3..8cf93a42 100644
--- a/html/smallheader.phtml
+++ b/html/smallheader.phtml
@@ -2,8 +2,7 @@
 <tr>
 <td width="30%">
 <a href="index.phtml">
-<img src="images/ProofGeneral.jpg" alt="Proof General Home" align=top 
-     width=65 height=76 border=0 >
+<img src="images/PG-small.jpg" align=top width=75 height=99 border=0 alt="Proof General Home">
 </a>
 </td>
 <td width="70%">
-- 
cgit v1.2.3