1
0
forked from GitHub/gf-core

GF home page: use the SVG version of the GF logo in browsers that support it

It looks better on high resolution screens.
This commit is contained in:
hallgren
2013-12-18 12:01:15 +00:00
parent c6d2b30c6b
commit 6055ad2f0d
2 changed files with 6 additions and 2 deletions

View File

@@ -1 +1 @@
<?xml version="1.0" standalone="no"?>
<?xml version="1.0" standalone="no"?>

Before

Width:  |  Height:  |  Size: 452 B

After

Width:  |  Height:  |  Size: 450 B

View File

@@ -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