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 134396285..c4291c9ac 100644 --- a/index.html +++ b/index.html @@ -26,7 +26,7 @@ document.write('<div style="text-align: right"> <form onsubmit="return sitesear <img id=gflogo class=grow src="doc/Logos/gf0.png" alt=""> <script> if(document.implementation.hasFeature("http://www.w3.org/TR/SVG11/feature#BasicStructure", "1.1")) - document.getElementById("gflogo").src="doc/Logos/gf0.svg" + document.getElementById("gflogo").src="doc/Logos/gf1.svg" </script> <H1>Grammatical Framework</H1> <P> |