diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-07-13 17:10:23 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-07-13 17:10:23 +0000 |
commit | 7d4d935c4647a45324ba022ad2b8778699644204 (patch) | |
tree | 205676365cd40bbf5f347f56260a8d54c0b6649f /html/smallheader.html | |
parent | 3c24059b1604905f0c0b61ce22992168028adad9 (diff) |
Reduce size to keep it smaller than main header
Diffstat (limited to 'html/smallheader.html')
-rw-r--r-- | html/smallheader.html | 6 |
1 files changed, 3 insertions, 3 deletions
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%"> |