From 6055ad2f0df88c1bafba40918199a9724601b6ee Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Wed, 18 Dec 2013 12:01:15 +0000
Subject: [PATCH] GF home page: use the SVG version of the GF logo in browsers
 that support it

It looks better on high resolution screens.
---
 doc/Logos/gf0.svg | 2 +-
 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