diff options
| -rw-r--r-- | doc/Logos/gf0.svg | 2 | ||||
| -rw-r--r-- | index.html | 6 |
2 files changed, 6 insertions, 2 deletions
diff --git a/doc/Logos/gf0.svg b/doc/Logos/gf0.svg index f1db74b78..3c1fcd5ed 100644 --- a/doc/Logos/gf0.svg +++ b/doc/Logos/gf0.svg @@ -1 +1 @@ -<?xml version="1.0" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<svg width="100%" height="100%" version="1.1"
xmlns="http://www.w3.org/2000/svg">
<desc>Grammatical Framework Logo</desc>
<path d="M157.5,225.5 v-51 h59 m-59,0 v-53 h114 a110.5,105 0 1,1 -24,-66"
fill="none" stroke="red" stroke-width="4"
stroke-linejoin="round" stroke-linecap="round"/>
</svg>
\ No newline at end of file +<?xml version="1.0" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<svg width="320" height="240" version="1.1"
xmlns="http://www.w3.org/2000/svg">
<desc>Grammatical Framework Logo</desc>
<path d="M157.5,225.5 v-51 h59 m-59,0 v-53 h114 a110.5,105 0 1,1 -24,-66"
fill="none" stroke="red" stroke-width="4"
stroke-linejoin="round" stroke-linecap="round"/>
</svg>
\ No newline at end of file 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 |
