diff options
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%"> |