From 7d4d935c4647a45324ba022ad2b8778699644204 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 13 Jul 2002 17:10:23 +0000
Subject: Reduce size to keep it smaller than main header

---
 html/smallheader.html | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'html/smallheader.html')

diff --git a/html/smallheader.html b/html/smallheader.html
index 55cb7a4c..ade4e6dd 100644
--- a/html/smallheader.html
+++ b/html/smallheader.html
@@ -1,8 +1,8 @@
 <table width="80%">
 <tr>
-<td width="30%">
+<td width="15%">
 <a href="">
-<img src="images/PG-small.jpg" align=top width=75 height=99 border=0 alt="Proof General Home">
+<img src="images/PG-small.jpg" align=top width=37 height=50 border=0 alt="Proof General Home">
 </a>
 </td>
-<td width="70%">
+<td width="85%">
-- 
cgit v1.2.3