diff options
| author | hallgren <hallgren@chalmers.se> | 2013-12-18 12:01:15 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2013-12-18 12:01:15 +0000 |
| commit | 4012fa15dd3a5589ad1d57c291465065cae58e71 (patch) | |
| tree | 511e3a2d49979d398f697c2e1f2e5215d8166870 /index.html | |
| parent | e9e919e6e3bd92ef6c30181817dd9c6e571011de (diff) | |
GF home page: use the SVG version of the GF logo in browsers that support it
It looks better on high resolution screens.
Diffstat (limited to 'index.html')
| -rw-r--r-- | index.html | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/index.html b/index.html index f6d3c6a2e..fac5707d0 100644 --- a/index.html +++ b/index.html @@ -23,7 +23,11 @@ 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 class=grow src="doc/Logos/gf0.png" alt=""> +<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" + </script> <H1>Grammatical Framework</H1> <P> Version 3.5 |