diff options
Diffstat (limited to 'html/smallheader.html')
| -rw-r--r-- | html/smallheader.html | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/html/smallheader.html b/html/smallheader.html new file mode 100644 index 00000000..ade4e6dd --- /dev/null +++ b/html/smallheader.html @@ -0,0 +1,8 @@ +<table width="80%"> +<tr> +<td width="15%"> +<a href=""> +<img src="images/PG-small.jpg" align=top width=37 height=50 border=0 alt="Proof General Home"> +</a> +</td> +<td width="85%"> |