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 /doc | |
| 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 'doc')
| -rw-r--r-- | doc/Logos/gf0.svg | 2 |
1 files changed, 1 insertions, 1 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 |
