[SCM] Website for Isaac project branch, ikiwiki-compiled, updated. c477f94d691c6eaa9becc12052905b7da8ead9a5
Mildred Ki'Lya
silkensedai at online.fr
Sun Sep 20 17:46:18 UTC 2009
The following commit has been merged in the ikiwiki-compiled branch:
commit c477f94d691c6eaa9becc12052905b7da8ead9a5
Author: Mildred Ki'Lya <silkensedai at online.fr>
Date: Sun Sep 20 19:46:14 2009 +0200
Refresh Sun Sep 20 19:46:14 CEST 2009
diff --git a/community/git/compiler/index.html b/community/git/compiler/index.html
index 91188ad..1d81403 100644
--- a/community/git/compiler/index.html
+++ b/community/git/compiler/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/community/git/index.html b/community/git/index.html
index 437046b..ece345a 100644
--- a/community/git/index.html
+++ b/community/git/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/community/git/website/index.html b/community/git/website/index.html
index 4429d85..a9a2f16 100644
--- a/community/git/website/index.html
+++ b/community/git/website/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/community/index.html b/community/index.html
index 356a658..e3cff5f 100644
--- a/community/index.html
+++ b/community/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/ikiwiki/directive/index.html b/ikiwiki/directive/index.html
index b92fa2d..2ce594a 100644
--- a/ikiwiki/directive/index.html
+++ b/ikiwiki/directive/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/ikiwiki/formatting/index.html b/ikiwiki/formatting/index.html
index fb762d5..011b242 100644
--- a/ikiwiki/formatting/index.html
+++ b/ikiwiki/formatting/index.html
@@ -37,6 +37,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/ikiwiki/index.html b/ikiwiki/index.html
index a915c5c..54a4941 100644
--- a/ikiwiki/index.html
+++ b/ikiwiki/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/ikiwiki/markdown/index.html b/ikiwiki/markdown/index.html
index 7ef5688..bdf76b9 100644
--- a/ikiwiki/markdown/index.html
+++ b/ikiwiki/markdown/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/ikiwiki/openid/index.html b/ikiwiki/openid/index.html
index f76c88e..6e69c4e 100644
--- a/ikiwiki/openid/index.html
+++ b/ikiwiki/openid/index.html
@@ -37,6 +37,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/ikiwiki/pagespec/attachment/index.html b/ikiwiki/pagespec/attachment/index.html
index 2d66c38..24d1821 100644
--- a/ikiwiki/pagespec/attachment/index.html
+++ b/ikiwiki/pagespec/attachment/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/ikiwiki/pagespec/index.html b/ikiwiki/pagespec/index.html
index 8f3278e..9885cae 100644
--- a/ikiwiki/pagespec/index.html
+++ b/ikiwiki/pagespec/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/ikiwiki/pagespec/po/index.html b/ikiwiki/pagespec/po/index.html
index ccd6b85..5ac5a05 100644
--- a/ikiwiki/pagespec/po/index.html
+++ b/ikiwiki/pagespec/po/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/ikiwiki/searching/index.html b/ikiwiki/searching/index.html
index 80e67a6..190bc6e 100644
--- a/ikiwiki/searching/index.html
+++ b/ikiwiki/searching/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/ikiwiki/subpage/index.html b/ikiwiki/subpage/index.html
index de20bad..32e12a3 100644
--- a/ikiwiki/subpage/index.html
+++ b/ikiwiki/subpage/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/ikiwiki/subpage/linkingrules/index.html b/ikiwiki/subpage/linkingrules/index.html
index c850813..fb15bbc 100644
--- a/ikiwiki/subpage/linkingrules/index.html
+++ b/ikiwiki/subpage/linkingrules/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/ikiwiki/wikilink/index.html b/ikiwiki/wikilink/index.html
index 33ca416..4c56505 100644
--- a/ikiwiki/wikilink/index.html
+++ b/ikiwiki/wikilink/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/index.html b/index.html
index f66347c..bc7a05b 100644
--- a/index.html
+++ b/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/language/benchmark/index.html b/language/benchmark/index.html
index b5b043d..e880474 100644
--- a/language/benchmark/index.html
+++ b/language/benchmark/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/language/changelog/index.html b/language/changelog/index.html
index cc73281..30a9759 100644
--- a/language/changelog/index.html
+++ b/language/changelog/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/language/docs/index.html b/language/docs/index.html
index 2db78bf..73c4058 100644
--- a/language/docs/index.html
+++ b/language/docs/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/language/download/index.html b/language/download/index.html
index 990f289..aacc70d 100644
--- a/language/download/index.html
+++ b/language/download/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/language/index.html b/language/index.html
index 6d98882..4d3eda1 100644
--- a/language/index.html
+++ b/language/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/language/library/index.html b/language/library/index.html
index 017a107..278a797 100644
--- a/language/library/index.html
+++ b/language/library/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/language/roadmap/index.html b/language/roadmap/index.html
index 20d7c26..a229513 100644
--- a/language/roadmap/index.html
+++ b/language/roadmap/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/language/sample/index.html b/language/sample/index.html
index 5a38528..4dbfee2 100644
--- a/language/sample/index.html
+++ b/language/sample/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/language/simplicity/index.html b/language/simplicity/index.html
index 0f26cbd..59e55b1 100644
--- a/language/simplicity/index.html
+++ b/language/simplicity/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/news/20070924_Lisaac-0.12/index.html b/news/20070924_Lisaac-0.12/index.html
index d5489a0..e82d3ba 100644
--- a/news/20070924_Lisaac-0.12/index.html
+++ b/news/20070924_Lisaac-0.12/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/news/20080208_Lisaac-0.13/index.html b/news/20080208_Lisaac-0.13/index.html
index 9c252b3..240c64a 100644
--- a/news/20080208_Lisaac-0.13/index.html
+++ b/news/20080208_Lisaac-0.13/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/news/20080217_Lisaac-0.13.1/index.html b/news/20080217_Lisaac-0.13.1/index.html
index 5947425..57e5dae 100644
--- a/news/20080217_Lisaac-0.13.1/index.html
+++ b/news/20080217_Lisaac-0.13.1/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/news/20080903_Alioth/index.html b/news/20080903_Alioth/index.html
index 1243fc6..0e81daa 100644
--- a/news/20080903_Alioth/index.html
+++ b/news/20080903_Alioth/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/news/20090906_redesign/index.html b/news/20090906_redesign/index.html
index 62f1068..7a3ef7c 100644
--- a/news/20090906_redesign/index.html
+++ b/news/20090906_redesign/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/news/index.html b/news/index.html
index eac53b5..e6598f9 100644
--- a/news/index.html
+++ b/news/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/recentchanges/index.html b/recentchanges/index.html
index 0b005c1..586ad74 100644
--- a/recentchanges/index.html
+++ b/recentchanges/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/sandbox/index.html b/sandbox/index.html
index d22f00a..9d2c278 100644
--- a/sandbox/index.html
+++ b/sandbox/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/shortcuts/index.html b/shortcuts/index.html
index feef5cc..0f78144 100644
--- a/shortcuts/index.html
+++ b/shortcuts/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/sidebar/community/index.html b/sidebar/community/index.html
index 8621f09..b265262 100644
--- a/sidebar/community/index.html
+++ b/sidebar/community/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/sidebar/index.html b/sidebar/index.html
index c8263c6..b2d7dcb 100644
--- a/sidebar/index.html
+++ b/sidebar/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/sidebar/language/index.html b/sidebar/language/index.html
index f84a288..7ffb5c7 100644
--- a/sidebar/language/index.html
+++ b/sidebar/language/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/sidebar/logos/index.html b/sidebar/logos/index.html
index f36e957..615e6a1 100644
--- a/sidebar/logos/index.html
+++ b/sidebar/logos/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/sidebar/main/index.html b/sidebar/main/index.html
index 0e50216..05be80c 100644
--- a/sidebar/main/index.html
+++ b/sidebar/main/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/templates/index.html b/templates/index.html
index 02a6281..98eadf9 100644
--- a/templates/index.html
+++ b/templates/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/templates/note/index.html b/templates/note/index.html
index c13e8b6..a0ce246 100644
--- a/templates/note/index.html
+++ b/templates/note/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
diff --git a/templates/popup/index.html b/templates/popup/index.html
index 60c5ae7..b5db51e 100644
--- a/templates/popup/index.html
+++ b/templates/popup/index.html
@@ -36,6 +36,32 @@
<div id="body4">
<div id="body5">
+<div id="head">
+ <div id="search-box">
+ <form target="_blank" id="cse-search-box" action="http://www.google.com/cse">
+ <div>
+ <input type="hidden" value="017043733976192376403:kbdgzxfwnqq" name="cx"/>
+ <input type="hidden" value="UTF-8" name="ie"/>
+ <input size="28" name="q"
+ style="background: rgb(255, 255, 255)
+ url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif)
+ no-repeat
+ scroll
+ left
+ center;
+ -moz-background-clip: border;
+ -moz-background-origin: padding;
+ -moz-background-inline-policy: continuous;"
+ onfocus="this.style.background='white'"
+ onblur="if (/^\s*$/.test(this.value)) {
+ this.style.background='white url(http://www.google.com/cse/intl/en/images/google_custom_search_watermark.gif) no-repeat scroll left center';
+ }"/>
+ <input type="submit" value="Search" name="sa"/>
+ </div>
+ </form>
+ </div>
+</div>
+
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
<!-- ******************** *********** ******************** -->
--
Website for Isaac project
More information about the Lisaac-commits
mailing list