diff options
Diffstat (limited to 'html/header.phtml')
| -rw-r--r-- | html/header.phtml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/header.phtml b/html/header.phtml index dc54c4df..cd2af8ee 100644 --- a/html/header.phtml +++ b/html/header.phtml @@ -4,7 +4,7 @@ <td width="190"> <a href="index.phtml"> <img src="images/ProofGeneral.jpg" alt="Proof General" align=top - width=158 height=183 border=0 > + width=180 height=238 border=0 > </a> </td> <td> |