diff options
Diffstat (limited to 'index.html')
| -rw-r--r-- | index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/index.html b/index.html index 9f85bc469..9fca590e4 100644 --- a/index.html +++ b/index.html @@ -21,7 +21,7 @@ function sitesearch() { document.write('<div style="text-align: right"> <form onsubmit="return sitesearch()" method=get action="http://www.google.com/search"> <input type=search name="q" placeholder="site search"> <input type=submit value="Search"> </form></div>') </script> <div class=center> -<IMG SRC="doc/Logos/gf0.png" alt=""> +<img class=grow src="doc/Logos/gf0.png" alt=""> <H1>Grammatical Framework</H1> <P> Version 3.4 |