[SCM] Website for Isaac project branch, mildred-compiled, updated. 00ac43987afe18910e6b38ebb86e23505acf1af4
Mildred Ki'Lya
silkensedai at online.fr
Sun Sep 6 21:39:10 UTC 2009
The following commit has been merged in the mildred-compiled branch:
commit 00ac43987afe18910e6b38ebb86e23505acf1af4
Author: Mildred Ki'Lya <silkensedai at online.fr>
Date: Sun Sep 6 23:39:07 2009 +0200
Refresh Sun Sep 6 23:39:07 CEST 2009
diff --git a/ikiwiki/directive/index.html b/ikiwiki/directive/index.html
index 4dd4068..ae620d0 100644
--- a/ikiwiki/directive/index.html
+++ b/ikiwiki/directive/index.html
@@ -13,6 +13,7 @@
<meta name="robots" content="noindex, follow" />
<script type="text/javascript">
+ //<![CDATA[
function fixLinks() {
var scheme = location.protocol;
if (scheme=="http:" || scheme=="https:") return;
@@ -25,9 +26,10 @@
links[i].href = href + "index.html";
}
}
+ //]]>
</script>
</head>
-<body onLoad="javascript:fixLinks();">
+<body onload="javascript:fixLinks();">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -79,7 +81,7 @@
<div id="sidebar">
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -96,7 +98,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -118,7 +120,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -130,7 +132,7 @@
</div>
<div id="logos">
- <div id="feedlink">
+ <div class="feedlink">
</div>
diff --git a/ikiwiki/formatting/index.html b/ikiwiki/formatting/index.html
index b489f8f..59357da 100644
--- a/ikiwiki/formatting/index.html
+++ b/ikiwiki/formatting/index.html
@@ -14,6 +14,7 @@
<meta name="title" content="Formatting wiki pages" />
<meta name="robots" content="noindex, follow" />
<script type="text/javascript">
+ //<![CDATA[
function fixLinks() {
var scheme = location.protocol;
if (scheme=="http:" || scheme=="https:") return;
@@ -26,9 +27,10 @@
links[i].href = href + "index.html";
}
}
+ //]]>
</script>
</head>
-<body onLoad="javascript:fixLinks();">
+<body onload="javascript:fixLinks();">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -80,7 +82,7 @@
<div id="sidebar">
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -97,7 +99,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -119,7 +121,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -131,7 +133,7 @@
</div>
<div id="logos">
- <div id="feedlink">
+ <div class="feedlink">
</div>
diff --git a/ikiwiki/index.html b/ikiwiki/index.html
index e50667f..e6d51ed 100644
--- a/ikiwiki/index.html
+++ b/ikiwiki/index.html
@@ -13,6 +13,7 @@
<meta name="robots" content="noindex, follow" />
<script type="text/javascript">
+ //<![CDATA[
function fixLinks() {
var scheme = location.protocol;
if (scheme=="http:" || scheme=="https:") return;
@@ -25,9 +26,10 @@
links[i].href = href + "index.html";
}
}
+ //]]>
</script>
</head>
-<body onLoad="javascript:fixLinks();">
+<body onload="javascript:fixLinks();">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -77,7 +79,7 @@
<div id="sidebar">
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -94,7 +96,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -116,7 +118,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -128,7 +130,7 @@
</div>
<div id="logos">
- <div id="feedlink">
+ <div class="feedlink">
</div>
diff --git a/ikiwiki/markdown/index.html b/ikiwiki/markdown/index.html
index 60e983c..81a4d4c 100644
--- a/ikiwiki/markdown/index.html
+++ b/ikiwiki/markdown/index.html
@@ -13,6 +13,7 @@
<meta name="robots" content="noindex, follow" />
<script type="text/javascript">
+ //<![CDATA[
function fixLinks() {
var scheme = location.protocol;
if (scheme=="http:" || scheme=="https:") return;
@@ -25,9 +26,10 @@
links[i].href = href + "index.html";
}
}
+ //]]>
</script>
</head>
-<body onLoad="javascript:fixLinks();">
+<body onload="javascript:fixLinks();">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -79,7 +81,7 @@
<div id="sidebar">
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -96,7 +98,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -118,7 +120,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -130,7 +132,7 @@
</div>
<div id="logos">
- <div id="feedlink">
+ <div class="feedlink">
</div>
diff --git a/ikiwiki/openid/index.html b/ikiwiki/openid/index.html
index ed8c546..16246da 100644
--- a/ikiwiki/openid/index.html
+++ b/ikiwiki/openid/index.html
@@ -14,6 +14,7 @@
<meta name="title" content="OpenID" />
<meta name="robots" content="noindex, follow" />
<script type="text/javascript">
+ //<![CDATA[
function fixLinks() {
var scheme = location.protocol;
if (scheme=="http:" || scheme=="https:") return;
@@ -26,9 +27,10 @@
links[i].href = href + "index.html";
}
}
+ //]]>
</script>
</head>
-<body onLoad="javascript:fixLinks();">
+<body onload="javascript:fixLinks();">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -80,7 +82,7 @@
<div id="sidebar">
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -97,7 +99,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -119,7 +121,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -131,7 +133,7 @@
</div>
<div id="logos">
- <div id="feedlink">
+ <div class="feedlink">
</div>
diff --git a/ikiwiki/pagespec/attachment/index.html b/ikiwiki/pagespec/attachment/index.html
index 43083ca..6fcaecc 100644
--- a/ikiwiki/pagespec/attachment/index.html
+++ b/ikiwiki/pagespec/attachment/index.html
@@ -13,6 +13,7 @@
<meta name="robots" content="noindex, follow" />
<script type="text/javascript">
+ //<![CDATA[
function fixLinks() {
var scheme = location.protocol;
if (scheme=="http:" || scheme=="https:") return;
@@ -25,9 +26,10 @@
links[i].href = href + "index.html";
}
}
+ //]]>
</script>
</head>
-<body onLoad="javascript:fixLinks();">
+<body onload="javascript:fixLinks();">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -81,7 +83,7 @@
<div id="sidebar">
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -98,7 +100,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -120,7 +122,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -132,7 +134,7 @@
</div>
<div id="logos">
- <div id="feedlink">
+ <div class="feedlink">
</div>
diff --git a/ikiwiki/pagespec/index.html b/ikiwiki/pagespec/index.html
index 19433b7..5edcf86 100644
--- a/ikiwiki/pagespec/index.html
+++ b/ikiwiki/pagespec/index.html
@@ -13,6 +13,7 @@
<meta name="robots" content="noindex, follow" />
<script type="text/javascript">
+ //<![CDATA[
function fixLinks() {
var scheme = location.protocol;
if (scheme=="http:" || scheme=="https:") return;
@@ -25,9 +26,10 @@
links[i].href = href + "index.html";
}
}
+ //]]>
</script>
</head>
-<body onLoad="javascript:fixLinks();">
+<body onload="javascript:fixLinks();">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -79,7 +81,7 @@
<div id="sidebar">
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -96,7 +98,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -118,7 +120,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -130,7 +132,7 @@
</div>
<div id="logos">
- <div id="feedlink">
+ <div class="feedlink">
</div>
diff --git a/ikiwiki/pagespec/po/index.html b/ikiwiki/pagespec/po/index.html
index bdf242a..97df530 100644
--- a/ikiwiki/pagespec/po/index.html
+++ b/ikiwiki/pagespec/po/index.html
@@ -13,6 +13,7 @@
<script type="text/javascript">
+ //<![CDATA[
function fixLinks() {
var scheme = location.protocol;
if (scheme=="http:" || scheme=="https:") return;
@@ -25,9 +26,10 @@
links[i].href = href + "index.html";
}
}
+ //]]>
</script>
</head>
-<body onLoad="javascript:fixLinks();">
+<body onload="javascript:fixLinks();">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -81,7 +83,7 @@
<div id="sidebar">
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -98,7 +100,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -120,7 +122,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -132,7 +134,7 @@
</div>
<div id="logos">
- <div id="feedlink">
+ <div class="feedlink">
</div>
diff --git a/ikiwiki/searching/index.html b/ikiwiki/searching/index.html
index 37277f4..3864625 100644
--- a/ikiwiki/searching/index.html
+++ b/ikiwiki/searching/index.html
@@ -13,6 +13,7 @@
<meta name="robots" content="noindex, follow" />
<script type="text/javascript">
+ //<![CDATA[
function fixLinks() {
var scheme = location.protocol;
if (scheme=="http:" || scheme=="https:") return;
@@ -25,9 +26,10 @@
links[i].href = href + "index.html";
}
}
+ //]]>
</script>
</head>
-<body onLoad="javascript:fixLinks();">
+<body onload="javascript:fixLinks();">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -79,7 +81,7 @@
<div id="sidebar">
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -96,7 +98,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -118,7 +120,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -130,7 +132,7 @@
</div>
<div id="logos">
- <div id="feedlink">
+ <div class="feedlink">
</div>
diff --git a/ikiwiki/subpage/index.html b/ikiwiki/subpage/index.html
index 680ce5c..8d75c4c 100644
--- a/ikiwiki/subpage/index.html
+++ b/ikiwiki/subpage/index.html
@@ -13,6 +13,7 @@
<meta name="robots" content="noindex, follow" />
<script type="text/javascript">
+ //<![CDATA[
function fixLinks() {
var scheme = location.protocol;
if (scheme=="http:" || scheme=="https:") return;
@@ -25,9 +26,10 @@
links[i].href = href + "index.html";
}
}
+ //]]>
</script>
</head>
-<body onLoad="javascript:fixLinks();">
+<body onload="javascript:fixLinks();">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -79,7 +81,7 @@
<div id="sidebar">
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -96,7 +98,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -118,7 +120,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -130,7 +132,7 @@
</div>
<div id="logos">
- <div id="feedlink">
+ <div class="feedlink">
</div>
diff --git a/ikiwiki/subpage/linkingrules/index.html b/ikiwiki/subpage/linkingrules/index.html
index a1f93c5..40b1c6a 100644
--- a/ikiwiki/subpage/linkingrules/index.html
+++ b/ikiwiki/subpage/linkingrules/index.html
@@ -13,6 +13,7 @@
<meta name="robots" content="noindex, follow" />
<script type="text/javascript">
+ //<![CDATA[
function fixLinks() {
var scheme = location.protocol;
if (scheme=="http:" || scheme=="https:") return;
@@ -25,9 +26,10 @@
links[i].href = href + "index.html";
}
}
+ //]]>
</script>
</head>
-<body onLoad="javascript:fixLinks();">
+<body onload="javascript:fixLinks();">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -81,7 +83,7 @@
<div id="sidebar">
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -98,7 +100,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -120,7 +122,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -132,7 +134,7 @@
</div>
<div id="logos">
- <div id="feedlink">
+ <div class="feedlink">
</div>
diff --git a/ikiwiki/wikilink/index.html b/ikiwiki/wikilink/index.html
index ffa743f..b69f140 100644
--- a/ikiwiki/wikilink/index.html
+++ b/ikiwiki/wikilink/index.html
@@ -13,6 +13,7 @@
<meta name="robots" content="noindex, follow" />
<script type="text/javascript">
+ //<![CDATA[
function fixLinks() {
var scheme = location.protocol;
if (scheme=="http:" || scheme=="https:") return;
@@ -25,9 +26,10 @@
links[i].href = href + "index.html";
}
}
+ //]]>
</script>
</head>
-<body onLoad="javascript:fixLinks();">
+<body onload="javascript:fixLinks();">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -79,7 +81,7 @@
<div id="sidebar">
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -96,7 +98,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -118,7 +120,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -130,7 +132,7 @@
</div>
<div id="logos">
- <div id="feedlink">
+ <div class="feedlink">
</div>
diff --git a/index.html b/index.html
index c50530f..d2c5f35 100644
--- a/index.html
+++ b/index.html
@@ -13,6 +13,7 @@
<script type="text/javascript">
+ //<![CDATA[
function fixLinks() {
var scheme = location.protocol;
if (scheme=="http:" || scheme=="https:") return;
@@ -25,9 +26,10 @@
links[i].href = href + "index.html";
}
}
+ //]]>
</script>
</head>
-<body onLoad="javascript:fixLinks();">
+<body onload="javascript:fixLinks();">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -75,7 +77,7 @@
<div id="sidebar">
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -92,7 +94,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -114,7 +116,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -126,7 +128,7 @@
</div>
<div id="logos">
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -154,7 +156,7 @@
<h1>News</h1>
<div class="news">
-<div id="feedlink">
+<div class="feedlink">
</div>
diff --git a/language/benchmark/index.html b/language/benchmark/index.html
index 1873f78..e16d123 100644
--- a/language/benchmark/index.html
+++ b/language/benchmark/index.html
@@ -13,6 +13,7 @@
<script type="text/javascript">
+ //<![CDATA[
function fixLinks() {
var scheme = location.protocol;
if (scheme=="http:" || scheme=="https:") return;
@@ -25,9 +26,10 @@
links[i].href = href + "index.html";
}
}
+ //]]>
</script>
</head>
-<body onLoad="javascript:fixLinks();">
+<body onload="javascript:fixLinks();">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -79,7 +81,7 @@
<div id="sidebar">
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -96,7 +98,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -118,7 +120,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -130,7 +132,7 @@
</div>
<div id="logos">
- <div id="feedlink">
+ <div class="feedlink">
</div>
diff --git a/language/docs/index.html b/language/docs/index.html
index 2ef6bc6..c00f025 100644
--- a/language/docs/index.html
+++ b/language/docs/index.html
@@ -13,6 +13,7 @@
<script type="text/javascript">
+ //<![CDATA[
function fixLinks() {
var scheme = location.protocol;
if (scheme=="http:" || scheme=="https:") return;
@@ -25,9 +26,10 @@
links[i].href = href + "index.html";
}
}
+ //]]>
</script>
</head>
-<body onLoad="javascript:fixLinks();">
+<body onload="javascript:fixLinks();">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -79,7 +81,7 @@
<div id="sidebar">
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -96,7 +98,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -118,7 +120,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -130,7 +132,7 @@
</div>
<div id="logos">
- <div id="feedlink">
+ <div class="feedlink">
</div>
diff --git a/language/download/index.html b/language/download/index.html
index 989812d..18a3eee 100644
--- a/language/download/index.html
+++ b/language/download/index.html
@@ -13,6 +13,7 @@
<script type="text/javascript">
+ //<![CDATA[
function fixLinks() {
var scheme = location.protocol;
if (scheme=="http:" || scheme=="https:") return;
@@ -25,9 +26,10 @@
links[i].href = href + "index.html";
}
}
+ //]]>
</script>
</head>
-<body onLoad="javascript:fixLinks();">
+<body onload="javascript:fixLinks();">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -79,7 +81,7 @@
<div id="sidebar">
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -96,7 +98,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -118,7 +120,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -130,7 +132,7 @@
</div>
<div id="logos">
- <div id="feedlink">
+ <div class="feedlink">
</div>
diff --git a/language/index.html b/language/index.html
index 646b6a7..6e1a483 100644
--- a/language/index.html
+++ b/language/index.html
@@ -13,6 +13,7 @@
<script type="text/javascript">
+ //<![CDATA[
function fixLinks() {
var scheme = location.protocol;
if (scheme=="http:" || scheme=="https:") return;
@@ -25,9 +26,10 @@
links[i].href = href + "index.html";
}
}
+ //]]>
</script>
</head>
-<body onLoad="javascript:fixLinks();">
+<body onload="javascript:fixLinks();">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -77,7 +79,7 @@
<div id="sidebar">
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -94,7 +96,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -116,7 +118,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -128,7 +130,7 @@
</div>
<div id="logos">
- <div id="feedlink">
+ <div class="feedlink">
</div>
diff --git a/language/library/index.html b/language/library/index.html
index 3069ddd..204c302 100644
--- a/language/library/index.html
+++ b/language/library/index.html
@@ -13,6 +13,7 @@
<script type="text/javascript">
+ //<![CDATA[
function fixLinks() {
var scheme = location.protocol;
if (scheme=="http:" || scheme=="https:") return;
@@ -25,9 +26,10 @@
links[i].href = href + "index.html";
}
}
+ //]]>
</script>
</head>
-<body onLoad="javascript:fixLinks();">
+<body onload="javascript:fixLinks();">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -79,7 +81,7 @@
<div id="sidebar">
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -96,7 +98,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -118,7 +120,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -130,7 +132,7 @@
</div>
<div id="logos">
- <div id="feedlink">
+ <div class="feedlink">
</div>
diff --git a/language/sample/index.html b/language/sample/index.html
index cb84229..dbfd2d2 100644
--- a/language/sample/index.html
+++ b/language/sample/index.html
@@ -13,6 +13,7 @@
<script type="text/javascript">
+ //<![CDATA[
function fixLinks() {
var scheme = location.protocol;
if (scheme=="http:" || scheme=="https:") return;
@@ -25,9 +26,10 @@
links[i].href = href + "index.html";
}
}
+ //]]>
</script>
</head>
-<body onLoad="javascript:fixLinks();">
+<body onload="javascript:fixLinks();">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -79,7 +81,7 @@
<div id="sidebar">
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -96,7 +98,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -118,7 +120,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -130,7 +132,7 @@
</div>
<div id="logos">
- <div id="feedlink">
+ <div class="feedlink">
</div>
diff --git a/language/simplicity/index.html b/language/simplicity/index.html
index 71f738d..f82c525 100644
--- a/language/simplicity/index.html
+++ b/language/simplicity/index.html
@@ -13,6 +13,7 @@
<script type="text/javascript">
+ //<![CDATA[
function fixLinks() {
var scheme = location.protocol;
if (scheme=="http:" || scheme=="https:") return;
@@ -25,9 +26,10 @@
links[i].href = href + "index.html";
}
}
+ //]]>
</script>
</head>
-<body onLoad="javascript:fixLinks();">
+<body onload="javascript:fixLinks();">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -79,7 +81,7 @@
<div id="sidebar">
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -96,7 +98,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -118,7 +120,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -130,7 +132,7 @@
</div>
<div id="logos">
- <div id="feedlink">
+ <div class="feedlink">
</div>
diff --git a/news/20070924_Lisaac-0.12/index.html b/news/20070924_Lisaac-0.12/index.html
index c639639..c5aa144 100644
--- a/news/20070924_Lisaac-0.12/index.html
+++ b/news/20070924_Lisaac-0.12/index.html
@@ -13,6 +13,7 @@
<script type="text/javascript">
+ //<![CDATA[
function fixLinks() {
var scheme = location.protocol;
if (scheme=="http:" || scheme=="https:") return;
@@ -25,9 +26,10 @@
links[i].href = href + "index.html";
}
}
+ //]]>
</script>
</head>
-<body onLoad="javascript:fixLinks();">
+<body onload="javascript:fixLinks();">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -79,7 +81,7 @@
<div id="sidebar">
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -96,7 +98,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -118,7 +120,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -130,7 +132,7 @@
</div>
<div id="logos">
- <div id="feedlink">
+ <div class="feedlink">
</div>
diff --git a/news/20080208_Lisaac-0.13/index.html b/news/20080208_Lisaac-0.13/index.html
index 55522fb..1800861 100644
--- a/news/20080208_Lisaac-0.13/index.html
+++ b/news/20080208_Lisaac-0.13/index.html
@@ -13,6 +13,7 @@
<script type="text/javascript">
+ //<![CDATA[
function fixLinks() {
var scheme = location.protocol;
if (scheme=="http:" || scheme=="https:") return;
@@ -25,9 +26,10 @@
links[i].href = href + "index.html";
}
}
+ //]]>
</script>
</head>
-<body onLoad="javascript:fixLinks();">
+<body onload="javascript:fixLinks();">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -79,7 +81,7 @@
<div id="sidebar">
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -96,7 +98,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -118,7 +120,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -130,7 +132,7 @@
</div>
<div id="logos">
- <div id="feedlink">
+ <div class="feedlink">
</div>
diff --git a/news/20080217_Lisaac-0.13.1/index.html b/news/20080217_Lisaac-0.13.1/index.html
index fa15b8c..60e8723 100644
--- a/news/20080217_Lisaac-0.13.1/index.html
+++ b/news/20080217_Lisaac-0.13.1/index.html
@@ -13,6 +13,7 @@
<script type="text/javascript">
+ //<![CDATA[
function fixLinks() {
var scheme = location.protocol;
if (scheme=="http:" || scheme=="https:") return;
@@ -25,9 +26,10 @@
links[i].href = href + "index.html";
}
}
+ //]]>
</script>
</head>
-<body onLoad="javascript:fixLinks();">
+<body onload="javascript:fixLinks();">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -79,7 +81,7 @@
<div id="sidebar">
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -96,7 +98,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -118,7 +120,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -130,7 +132,7 @@
</div>
<div id="logos">
- <div id="feedlink">
+ <div class="feedlink">
</div>
diff --git a/news/20080903_Alioth/index.html b/news/20080903_Alioth/index.html
index 77b5fa9..9592e0f 100644
--- a/news/20080903_Alioth/index.html
+++ b/news/20080903_Alioth/index.html
@@ -13,6 +13,7 @@
<script type="text/javascript">
+ //<![CDATA[
function fixLinks() {
var scheme = location.protocol;
if (scheme=="http:" || scheme=="https:") return;
@@ -25,9 +26,10 @@
links[i].href = href + "index.html";
}
}
+ //]]>
</script>
</head>
-<body onLoad="javascript:fixLinks();">
+<body onload="javascript:fixLinks();">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -79,7 +81,7 @@
<div id="sidebar">
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -96,7 +98,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -118,7 +120,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -130,7 +132,7 @@
</div>
<div id="logos">
- <div id="feedlink">
+ <div class="feedlink">
</div>
diff --git a/news/20090906_redesign/index.html b/news/20090906_redesign/index.html
index 96e9474..7aa9aef 100644
--- a/news/20090906_redesign/index.html
+++ b/news/20090906_redesign/index.html
@@ -13,6 +13,7 @@
<script type="text/javascript">
+ //<![CDATA[
function fixLinks() {
var scheme = location.protocol;
if (scheme=="http:" || scheme=="https:") return;
@@ -25,9 +26,10 @@
links[i].href = href + "index.html";
}
}
+ //]]>
</script>
</head>
-<body onLoad="javascript:fixLinks();">
+<body onload="javascript:fixLinks();">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -79,7 +81,7 @@
<div id="sidebar">
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -96,7 +98,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -118,7 +120,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -130,7 +132,7 @@
</div>
<div id="logos">
- <div id="feedlink">
+ <div class="feedlink">
</div>
diff --git a/news/index.html b/news/index.html
index fd895e3..2e603b7 100644
--- a/news/index.html
+++ b/news/index.html
@@ -13,6 +13,7 @@
<script type="text/javascript">
+ //<![CDATA[
function fixLinks() {
var scheme = location.protocol;
if (scheme=="http:" || scheme=="https:") return;
@@ -25,9 +26,10 @@
links[i].href = href + "index.html";
}
}
+ //]]>
</script>
</head>
-<body onLoad="javascript:fixLinks();">
+<body onload="javascript:fixLinks();">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -77,7 +79,7 @@
<div id="sidebar">
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -94,7 +96,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -116,7 +118,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -128,7 +130,7 @@
</div>
<div id="logos">
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -156,7 +158,7 @@
<h1>News</h1>
<div class="news">
-<div id="feedlink">
+<div class="feedlink">
</div>
diff --git a/recentchanges/index.html b/recentchanges/index.html
index 2c53aed..7582878 100644
--- a/recentchanges/index.html
+++ b/recentchanges/index.html
@@ -13,6 +13,7 @@
<meta name="title" content="RecentChanges" />
<script type="text/javascript">
+ //<![CDATA[
function fixLinks() {
var scheme = location.protocol;
if (scheme=="http:" || scheme=="https:") return;
@@ -25,9 +26,10 @@
links[i].href = href + "index.html";
}
}
+ //]]>
</script>
</head>
-<body onLoad="javascript:fixLinks();">
+<body onload="javascript:fixLinks();">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -77,7 +79,7 @@
<div id="sidebar">
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -94,7 +96,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -116,7 +118,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -128,7 +130,7 @@
</div>
<div id="logos">
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -155,7 +157,7 @@
<div id="content">
<p>Recent changes to this wiki:</p>
-<div id="feedlink">
+<div class="feedlink">
</div>
diff --git a/sandbox/index.html b/sandbox/index.html
index f1a89e5..a431958 100644
--- a/sandbox/index.html
+++ b/sandbox/index.html
@@ -13,6 +13,7 @@
<script type="text/javascript">
+ //<![CDATA[
function fixLinks() {
var scheme = location.protocol;
if (scheme=="http:" || scheme=="https:") return;
@@ -25,9 +26,10 @@
links[i].href = href + "index.html";
}
}
+ //]]>
</script>
</head>
-<body onLoad="javascript:fixLinks();">
+<body onload="javascript:fixLinks();">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -77,7 +79,7 @@
<div id="sidebar">
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -94,7 +96,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -116,7 +118,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -128,7 +130,7 @@
</div>
<div id="logos">
- <div id="feedlink">
+ <div class="feedlink">
</div>
diff --git a/shortcuts/index.html b/shortcuts/index.html
index c3f6c90..d2dff21 100644
--- a/shortcuts/index.html
+++ b/shortcuts/index.html
@@ -13,6 +13,7 @@
<script type="text/javascript">
+ //<![CDATA[
function fixLinks() {
var scheme = location.protocol;
if (scheme=="http:" || scheme=="https:") return;
@@ -25,9 +26,10 @@
links[i].href = href + "index.html";
}
}
+ //]]>
</script>
</head>
-<body onLoad="javascript:fixLinks();">
+<body onload="javascript:fixLinks();">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -77,7 +79,7 @@
<div id="sidebar">
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -94,7 +96,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -116,7 +118,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -128,7 +130,7 @@
</div>
<div id="logos">
- <div id="feedlink">
+ <div class="feedlink">
</div>
diff --git a/sidebar/community/index.html b/sidebar/community/index.html
index 5613ad7..6b32c6a 100644
--- a/sidebar/community/index.html
+++ b/sidebar/community/index.html
@@ -13,6 +13,7 @@
<script type="text/javascript">
+ //<![CDATA[
function fixLinks() {
var scheme = location.protocol;
if (scheme=="http:" || scheme=="https:") return;
@@ -25,9 +26,10 @@
links[i].href = href + "index.html";
}
}
+ //]]>
</script>
</head>
-<body onLoad="javascript:fixLinks();">
+<body onload="javascript:fixLinks();">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -79,7 +81,7 @@
<div id="sidebar">
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -96,7 +98,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -118,7 +120,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -130,7 +132,7 @@
</div>
<div id="logos">
- <div id="feedlink">
+ <div class="feedlink">
</div>
diff --git a/sidebar/index.html b/sidebar/index.html
index 4f2f22d..af6e1f1 100644
--- a/sidebar/index.html
+++ b/sidebar/index.html
@@ -13,6 +13,7 @@
<script type="text/javascript">
+ //<![CDATA[
function fixLinks() {
var scheme = location.protocol;
if (scheme=="http:" || scheme=="https:") return;
@@ -25,9 +26,10 @@
links[i].href = href + "index.html";
}
}
+ //]]>
</script>
</head>
-<body onLoad="javascript:fixLinks();">
+<body onload="javascript:fixLinks();">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -77,7 +79,7 @@
<div id="sidebar">
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -94,7 +96,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -116,7 +118,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -128,7 +130,7 @@
</div>
<div id="logos">
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -154,7 +156,7 @@
<div id="content">
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -171,7 +173,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -193,7 +195,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -205,7 +207,7 @@
</div>
<div id="logos">
- <div id="feedlink">
+ <div class="feedlink">
</div>
diff --git a/sidebar/language/index.html b/sidebar/language/index.html
index 4194755..f2ca6b5 100644
--- a/sidebar/language/index.html
+++ b/sidebar/language/index.html
@@ -13,6 +13,7 @@
<script type="text/javascript">
+ //<![CDATA[
function fixLinks() {
var scheme = location.protocol;
if (scheme=="http:" || scheme=="https:") return;
@@ -25,9 +26,10 @@
links[i].href = href + "index.html";
}
}
+ //]]>
</script>
</head>
-<body onLoad="javascript:fixLinks();">
+<body onload="javascript:fixLinks();">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -79,7 +81,7 @@
<div id="sidebar">
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -96,7 +98,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -118,7 +120,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -130,7 +132,7 @@
</div>
<div id="logos">
- <div id="feedlink">
+ <div class="feedlink">
</div>
diff --git a/sidebar/logos/index.html b/sidebar/logos/index.html
index 114b08d..84e6ef6 100644
--- a/sidebar/logos/index.html
+++ b/sidebar/logos/index.html
@@ -13,6 +13,7 @@
<script type="text/javascript">
+ //<![CDATA[
function fixLinks() {
var scheme = location.protocol;
if (scheme=="http:" || scheme=="https:") return;
@@ -25,9 +26,10 @@
links[i].href = href + "index.html";
}
}
+ //]]>
</script>
</head>
-<body onLoad="javascript:fixLinks();">
+<body onload="javascript:fixLinks();">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -79,7 +81,7 @@
<div id="sidebar">
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -96,7 +98,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -118,7 +120,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -130,7 +132,7 @@
</div>
<div id="logos">
- <div id="feedlink">
+ <div class="feedlink">
</div>
diff --git a/sidebar/main/index.html b/sidebar/main/index.html
index f75860b..88b5a19 100644
--- a/sidebar/main/index.html
+++ b/sidebar/main/index.html
@@ -13,6 +13,7 @@
<script type="text/javascript">
+ //<![CDATA[
function fixLinks() {
var scheme = location.protocol;
if (scheme=="http:" || scheme=="https:") return;
@@ -25,9 +26,10 @@
links[i].href = href + "index.html";
}
}
+ //]]>
</script>
</head>
-<body onLoad="javascript:fixLinks();">
+<body onload="javascript:fixLinks();">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -79,7 +81,7 @@
<div id="sidebar">
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -96,7 +98,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -118,7 +120,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -130,7 +132,7 @@
</div>
<div id="logos">
- <div id="feedlink">
+ <div class="feedlink">
</div>
diff --git a/templates/index.html b/templates/index.html
index c00d7f0..48e02bf 100644
--- a/templates/index.html
+++ b/templates/index.html
@@ -13,6 +13,7 @@
<meta name="robots" content="noindex, follow" />
<script type="text/javascript">
+ //<![CDATA[
function fixLinks() {
var scheme = location.protocol;
if (scheme=="http:" || scheme=="https:") return;
@@ -25,9 +26,10 @@
links[i].href = href + "index.html";
}
}
+ //]]>
</script>
</head>
-<body onLoad="javascript:fixLinks();">
+<body onload="javascript:fixLinks();">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -77,7 +79,7 @@
<div id="sidebar">
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -94,7 +96,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -116,7 +118,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -128,7 +130,7 @@
</div>
<div id="logos">
- <div id="feedlink">
+ <div class="feedlink">
</div>
diff --git a/templates/note/index.html b/templates/note/index.html
index 7895d1a..573d8cc 100644
--- a/templates/note/index.html
+++ b/templates/note/index.html
@@ -13,6 +13,7 @@
<script type="text/javascript">
+ //<![CDATA[
function fixLinks() {
var scheme = location.protocol;
if (scheme=="http:" || scheme=="https:") return;
@@ -25,9 +26,10 @@
links[i].href = href + "index.html";
}
}
+ //]]>
</script>
</head>
-<body onLoad="javascript:fixLinks();">
+<body onload="javascript:fixLinks();">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -79,7 +81,7 @@
<div id="sidebar">
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -96,7 +98,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -118,7 +120,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -130,7 +132,7 @@
</div>
<div id="logos">
- <div id="feedlink">
+ <div class="feedlink">
</div>
diff --git a/templates/popup/index.html b/templates/popup/index.html
index a28e2ad..2ea19c8 100644
--- a/templates/popup/index.html
+++ b/templates/popup/index.html
@@ -13,6 +13,7 @@
<script type="text/javascript">
+ //<![CDATA[
function fixLinks() {
var scheme = location.protocol;
if (scheme=="http:" || scheme=="https:") return;
@@ -25,9 +26,10 @@
links[i].href = href + "index.html";
}
}
+ //]]>
</script>
</head>
-<body onLoad="javascript:fixLinks();">
+<body onload="javascript:fixLinks();">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -79,7 +81,7 @@
<div id="sidebar">
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -96,7 +98,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -118,7 +120,7 @@
</div>
<div>
- <div id="feedlink">
+ <div class="feedlink">
</div>
@@ -130,7 +132,7 @@
</div>
<div id="logos">
- <div id="feedlink">
+ <div class="feedlink">
</div>
--
Website for Isaac project
More information about the Lisaac-commits
mailing list