diff options
| author | hallgren <hallgren@chalmers.se> | 2012-01-31 14:18:00 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-01-31 14:18:00 +0000 |
| commit | debb9da44dc12f6a507e6a9043d4078f381cecd2 (patch) | |
| tree | fdce3cf771c98b3fdbf2c6d5faeac77d0b7baa9a /index.html | |
| parent | 43a372a6cf0b5279fd0b73fc0d13c6e4adde19f3 (diff) | |
GF home page: adding an experimental site search box
Diffstat (limited to 'index.html')
| -rw-r--r-- | index.html | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/index.html b/index.html index 00bcceda2..21c7daf48 100644 --- a/index.html +++ b/index.html @@ -1,12 +1,23 @@ -<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> +<!DOCTYPE html> <HTML> <HEAD> <TITLE>GF - Grammatical Framework</TITLE> <link rel=stylesheet href="css/style.css"> +<script type="text/javascript"> +function sitesearch() { + var q=document.forms[0].q.value; + var site=" site:www.grammaticalframework.org"; + var search=encodeURIComponent(q+site) + document.location.href="http://www.google.com/search?q="+search + return false; +} +</script> </HEAD> <BODY> - +<script type="text/javascript"> +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 SRC="doc/Logos/gf0.png" alt=""> <H1>Grammatical Framework</H1> |