[SCM] Website for Isaac project branch, ikiwiki-compiled, updated. 044a4ebab9adb7f54e7ae89c1d2c7013cbbe16cc
Mildred Ki'Lya
silkensedai at online.fr
Fri Sep 11 20:55:49 UTC 2009
The following commit has been merged in the ikiwiki-compiled branch:
commit 044a4ebab9adb7f54e7ae89c1d2c7013cbbe16cc
Author: Mildred Ki'Lya <silkensedai at online.fr>
Date: Fri Sep 11 22:55:20 2009 +0200
Refresh Fri Sep 11 22:55:20 CEST 2009
diff --git a/community/git/compiler/index.html b/community/git/compiler/index.html
index c8db1fd..d80d581 100644
--- a/community/git/compiler/index.html
+++ b/community/git/compiler/index.html
@@ -30,6 +30,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -68,7 +73,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -266,5 +271,10 @@ create a tag, you can type:</p>
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/community/git/index.html b/community/git/index.html
index 514fe29..6146609 100644
--- a/community/git/index.html
+++ b/community/git/index.html
@@ -30,6 +30,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -66,7 +71,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -179,9 +184,11 @@
<p>To configure git, you can either use the <code>git config --global KEY VALUE</code> command
or manually edit <code>~/.gitconfig</code>.</p>
-<p>Tell git who you are:
- git config --global user.name "FirstName LastName"
- git config --global user.email "user at example.com"</p>
+<p>Tell git who you are:</p>
+
+<pre><code>git config --global user.name "FirstName LastName"
+git config --global user.email "user at example.com"
+</code></pre>
<p>To enable auto-detection for number of threads to use (good for multi-CPU or
multi-core computers) for packing repositories, use:</p>
@@ -474,7 +481,7 @@ are also other options you might want to discover.</p>
<!-- date -->
<div class="pagedate">
- Last modified <span class="date">Thursday 10 September 2009 22:53:09</span>
+ Last modified <span class="date">Friday 11 September 2009 22:54:23</span>
<!-- Created <span class="date">Thursday 10 September 2009 19:49:15</span> -->
</div>
@@ -485,5 +492,10 @@ are also other options you might want to discover.</p>
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/community/git/website/index.html b/community/git/website/index.html
index a8728b4..617b964 100644
--- a/community/git/website/index.html
+++ b/community/git/website/index.html
@@ -30,6 +30,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -68,7 +73,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -280,5 +285,10 @@ automatically.</p>
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/community/index.html b/community/index.html
index 040510c..52e0af8 100644
--- a/community/index.html
+++ b/community/index.html
@@ -30,6 +30,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -64,7 +69,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -225,5 +230,10 @@
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/ikiwiki/directive/index.html b/ikiwiki/directive/index.html
index 45c8fc5..5e98b9a 100644
--- a/ikiwiki/directive/index.html
+++ b/ikiwiki/directive/index.html
@@ -30,6 +30,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -66,7 +71,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -274,5 +279,10 @@ the older syntax, if the <code>prefix_directives</code> option is disabled.</p>
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/ikiwiki/formatting/index.html b/ikiwiki/formatting/index.html
index f13a80f..479cc08 100644
--- a/ikiwiki/formatting/index.html
+++ b/ikiwiki/formatting/index.html
@@ -31,6 +31,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -67,7 +72,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -316,5 +321,10 @@ For example, you can:</p>
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/ikiwiki/index.html b/ikiwiki/index.html
index 0fa831b..ee3a248 100644
--- a/ikiwiki/index.html
+++ b/ikiwiki/index.html
@@ -30,6 +30,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -64,7 +69,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -230,5 +235,10 @@
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/ikiwiki/markdown/index.html b/ikiwiki/markdown/index.html
index 37ccb14..578e33c 100644
--- a/ikiwiki/markdown/index.html
+++ b/ikiwiki/markdown/index.html
@@ -30,6 +30,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -66,7 +71,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -238,5 +243,10 @@ handles internally.</p>
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/ikiwiki/openid/index.html b/ikiwiki/openid/index.html
index 6c424cd..f4a52ed 100644
--- a/ikiwiki/openid/index.html
+++ b/ikiwiki/openid/index.html
@@ -31,6 +31,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -67,7 +72,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -257,5 +262,10 @@ by delegating it to an openid server. Here's an example of how to do that:</p>
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/ikiwiki/pagespec/attachment/index.html b/ikiwiki/pagespec/attachment/index.html
index 9b39f98..8a56b22 100644
--- a/ikiwiki/pagespec/attachment/index.html
+++ b/ikiwiki/pagespec/attachment/index.html
@@ -30,6 +30,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -68,7 +73,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -253,5 +258,10 @@ include a glob in the type, for example <code>mimetype(image/*)</code>.</p></li>
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/ikiwiki/pagespec/index.html b/ikiwiki/pagespec/index.html
index 0340fb4..f540353 100644
--- a/ikiwiki/pagespec/index.html
+++ b/ikiwiki/pagespec/index.html
@@ -30,6 +30,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -66,7 +71,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -312,5 +317,10 @@ use "./". For example, "./foo" on page "a/b" matches page "a/foo".</p>
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/ikiwiki/pagespec/po/index.html b/ikiwiki/pagespec/po/index.html
index 7441e37..54cecd0 100644
--- a/ikiwiki/pagespec/po/index.html
+++ b/ikiwiki/pagespec/po/index.html
@@ -30,6 +30,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -68,7 +73,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -236,5 +241,10 @@ language as the current page.</li>
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/ikiwiki/searching/index.html b/ikiwiki/searching/index.html
index c52db46..1bcd693 100644
--- a/ikiwiki/searching/index.html
+++ b/ikiwiki/searching/index.html
@@ -30,6 +30,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -66,7 +71,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -244,5 +249,10 @@ For example, "-discussion" will omit "discussion".</li>
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/ikiwiki/subpage/index.html b/ikiwiki/subpage/index.html
index c1d724d..22c0612 100644
--- a/ikiwiki/subpage/index.html
+++ b/ikiwiki/subpage/index.html
@@ -30,6 +30,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -66,7 +71,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -243,5 +248,10 @@ can be nested as deeply as you'd like.</p>
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/ikiwiki/subpage/linkingrules/index.html b/ikiwiki/subpage/linkingrules/index.html
index 5a8a0e3..5dd4f91 100644
--- a/ikiwiki/subpage/linkingrules/index.html
+++ b/ikiwiki/subpage/linkingrules/index.html
@@ -30,6 +30,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -68,7 +73,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -262,5 +267,10 @@ links are checked for last of all.</p>
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/ikiwiki/wikilink/index.html b/ikiwiki/wikilink/index.html
index c172ee6..081a476 100644
--- a/ikiwiki/wikilink/index.html
+++ b/ikiwiki/wikilink/index.html
@@ -30,6 +30,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -66,7 +71,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -273,5 +278,10 @@ on by default.</p>
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/images/h1-column-gradient.png b/images/h1-column-gradient.png
new file mode 100644
index 0000000..29cf72d
Binary files /dev/null and b/images/h1-column-gradient.png differ
diff --git a/images/h1-gradient.png b/images/h1-gradient.png
new file mode 100644
index 0000000..822e062
Binary files /dev/null and b/images/h1-gradient.png differ
diff --git a/images/right-gradient.png b/images/right-gradient.png
new file mode 100644
index 0000000..345a7fa
Binary files /dev/null and b/images/right-gradient.png differ
diff --git a/index.html b/index.html
index 08f9577..5bb19b3 100644
--- a/index.html
+++ b/index.html
@@ -30,6 +30,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -62,7 +67,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -323,5 +328,10 @@ matched so far.</p>
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/language/benchmark/index.html b/language/benchmark/index.html
index f39332b..cf2446f 100644
--- a/language/benchmark/index.html
+++ b/language/benchmark/index.html
@@ -30,6 +30,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -66,7 +71,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -227,5 +232,10 @@
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/language/docs/index.html b/language/docs/index.html
index f534a5d..e1f4824 100644
--- a/language/docs/index.html
+++ b/language/docs/index.html
@@ -30,6 +30,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -66,7 +71,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -227,5 +232,10 @@
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/language/download/index.html b/language/download/index.html
index 6970e75..bb5b0c3 100644
--- a/language/download/index.html
+++ b/language/download/index.html
@@ -30,6 +30,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -66,7 +71,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -227,5 +232,10 @@
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/language/index.html b/language/index.html
index 273a03a..b275c2d 100644
--- a/language/index.html
+++ b/language/index.html
@@ -30,6 +30,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -64,7 +69,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -266,5 +271,10 @@ Self (prototype-based) and Eiffel (design by contract)</p></li>
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/language/library/index.html b/language/library/index.html
index a10780a..f17e451 100644
--- a/language/library/index.html
+++ b/language/library/index.html
@@ -30,6 +30,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -66,7 +71,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -227,5 +232,10 @@
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/language/sample/index.html b/language/sample/index.html
index 8207e6a..3b24296 100644
--- a/language/sample/index.html
+++ b/language/sample/index.html
@@ -30,6 +30,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -66,7 +71,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -270,5 +275,10 @@
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/language/simplicity/index.html b/language/simplicity/index.html
index 1f09db7..24092e1 100644
--- a/language/simplicity/index.html
+++ b/language/simplicity/index.html
@@ -30,6 +30,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -66,7 +71,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -227,5 +232,10 @@
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/local.css b/local.css
index 97a848b..4328a1e 100644
--- a/local.css
+++ b/local.css
@@ -2,12 +2,18 @@
html {
margin: 0;
padding: 0;
- background: url("images/fond.png") no-repeat fixed;
+ /*background: url("images/fond.png") no-repeat fixed;*/
+ background-color: #213449;
}
body {
margin: 0;
padding: 0;
+ max-width: 50em;
+ margin-left: auto;
+ margin-right: auto;
+ position: relative; /* set it as containing block for #sidecolumn */
+ background-color: white;
}
.pageheader {
@@ -15,7 +21,7 @@ body {
height: 1em;
margin: 0;
padding: 0.25em;
- border-bottom: thin solid #c0c0c0;
+ /*border-bottom: thin solid #c0c0c0;*/
background-color: #222;
color: white;
background-image: url("images/banner.png");
@@ -27,14 +33,29 @@ body {
}
#content {
- margin-top: 2em;
- margin-left: 20ex;
/*border-left: thin dotted black;*/
/*border: 5px solid green;*/
+ padding-right: 14em; /* 13em + 1em */
+ padding-left: 1em;
}
-#leftcolumn {
- float: left;
+#content > * {
+}
+
+#sidecolumn {
+ /*float: right;*/
+ position: absolute;
+ top: 1.5em;
+ right: 0;
+ bottom: 0;
+ /*border: 5px solid red;*/
+ border-left: 1px solid #638cb8;
+ width: 13em;
+ /*background-color: #b1cff1;
+ background-image: url(images/h1-column-gradient.png);*/
+ background-image: url(images/right-gradient.png);
+ background-repeat: repeat-y;
+ background-position: left top;
}
#mainlogo {
@@ -47,17 +68,15 @@ body {
}
#sidebar {
- /*position: absolute;
- left: 0;
- top: 2em;*/
margin: 0;
padding: 0;
- width: 19ex;
- -moz-border-radius: 6px;
+ /*-moz-border-radius: 6px;
-webkit-border-radius: 6px;
- border-radius: 6px;
- /*border: 5px solid red;*/
- background: inherit;
+ border-radius: 6px;*/
+ background: none;
+ border: none;
+ float: none;
+ width: inherit;
}
#sidebar > div {
@@ -68,10 +87,10 @@ body {
background-color: #ffffff;
opacity: 0.9;
border: 3px solid #c0c0c0;
- margin: 0.5ex;
+ margin: 1em;
margin-top: 0;
- margin-bottom: 2ex;
- padding: 1ex;
+ margin-bottom: 1em;
+ padding: 0.5em;
}
#sidebar > div h1 {
@@ -98,6 +117,30 @@ body {
margin: 0;
}
+#pageinfo {
+ margin: 0;
+ border: none;
+ font-size: 0.8em;
+ /*color: rgb(141, 149, 159);*/
+ color: inherit;
+}
+
+#footer {
+ background-color: #78a1cd;
+ background-image: url(images/h1-gradient.png);
+ background-repeat: repeat-y;
+ background-position: left top;
+ color: white;
+}
+
+#footer a, #footer a:visited {
+ color: rgb(182, 188, 194);
+}
+
+#footer a:hover, #footer a:visited:hover {
+ color: white;
+}
+
.header {
margin: 0;
font-size: inherit;
@@ -139,10 +182,12 @@ div.news h1 {
}
div.news .date {
+ font-size: 0.8em;
font-style: italic;
display: block;
float: right;
margin-left: 1em;
+ margin-right: 0;
}
.center {
@@ -150,20 +195,34 @@ div.news .date {
margin-right: auto;
text-align: center;
}
-
-#content > h1 {
+#content > h1:first-child {
+ /*
margin-top: 2em;
max-width: 20em;
margin-left: auto;
margin-right: auto;
text-align: center;
- border-bottom: 2px solid #006400 ;
+ border-bottom: 2px solid #006400;
+ */
+ font-size: 2em;
+ margin-left: -0.5em; /* 1em / 2 (because font-size is 2em) */
+ margin-right: -7em; /* -14em / 2 (because font-size is 2em) */
+ margin-top: 0;
+ margin-bottom: 0;
+ padding-left: 2em;
+ padding-top: 0.75em;
+ padding-bottom: 1.25em;
+ color: white;
+ background-color: #78a1cd;
+ background-image: url(images/h1-gradient.png);
+ background-repeat: repeat-y;
+ background-position: left top;
}
-h2 {
- border-bottom: 1px solid blue;
+#content > h2, h2 {
+ border-bottom: 1px dotted darkgrey;
margin-right: 2em;
- padding-left: 1em;
+ color: #007F00;
}
pre, tt, code, tr.changeinfo, #blogform {
@@ -171,11 +230,20 @@ pre, tt, code, tr.changeinfo, #blogform {
background-color: #f6f6f0;
}
-pre {
+#content > pre, pre {
margin: 0 7em 0 2em;
padding: 0.5em 0 0.5em 0.5em;
+ -moz-border-radius-topleft: 1em;
+ -webkit-border-radius-topleft: 1em;
+ border-radius-topleft: 1em;
+ -moz-border-radius-bottomright: 1em;
+ -webkit-border-radius-bottomright: 1em;
+ border-radius-bottomright: 1em;
}
+p {
+ text-align: justify;
+}
/*a:before{
content: url(images/link.png);
diff --git a/news/20070924_Lisaac-0.12/index.html b/news/20070924_Lisaac-0.12/index.html
index 6c04764..6e6bbca 100644
--- a/news/20070924_Lisaac-0.12/index.html
+++ b/news/20070924_Lisaac-0.12/index.html
@@ -30,6 +30,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -66,7 +71,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -223,5 +228,10 @@
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/news/20080208_Lisaac-0.13/index.html b/news/20080208_Lisaac-0.13/index.html
index 15031cb..5f7339e 100644
--- a/news/20080208_Lisaac-0.13/index.html
+++ b/news/20080208_Lisaac-0.13/index.html
@@ -30,6 +30,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -66,7 +71,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -223,5 +228,10 @@
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/news/20080217_Lisaac-0.13.1/index.html b/news/20080217_Lisaac-0.13.1/index.html
index 8a3c5a9..99d03aa 100644
--- a/news/20080217_Lisaac-0.13.1/index.html
+++ b/news/20080217_Lisaac-0.13.1/index.html
@@ -30,6 +30,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -66,7 +71,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -223,5 +228,10 @@
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/news/20080903_Alioth/index.html b/news/20080903_Alioth/index.html
index 9a87db6..ffb4863 100644
--- a/news/20080903_Alioth/index.html
+++ b/news/20080903_Alioth/index.html
@@ -30,6 +30,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -66,7 +71,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -227,5 +232,10 @@
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/news/20090906_redesign/index.html b/news/20090906_redesign/index.html
index 6e40531..64a0cba 100644
--- a/news/20090906_redesign/index.html
+++ b/news/20090906_redesign/index.html
@@ -30,6 +30,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -66,7 +71,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -230,5 +235,10 @@ is used to generate the HTML pages.</p>
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/news/index.html b/news/index.html
index 974a857..5d890eb 100644
--- a/news/index.html
+++ b/news/index.html
@@ -30,6 +30,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -64,7 +69,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -306,5 +311,10 @@ is used to generate the HTML pages.</p>
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/recentchanges/index.html b/recentchanges/index.html
index 5c7007d..faf2fa7 100644
--- a/recentchanges/index.html
+++ b/recentchanges/index.html
@@ -30,6 +30,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -64,7 +69,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -223,5 +228,10 @@
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/sandbox/index.html b/sandbox/index.html
index b641212..3cc4e7a 100644
--- a/sandbox/index.html
+++ b/sandbox/index.html
@@ -30,6 +30,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -64,7 +69,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -264,5 +269,10 @@
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/shortcuts/index.html b/shortcuts/index.html
index 457a8f0..afb1cb9 100644
--- a/shortcuts/index.html
+++ b/shortcuts/index.html
@@ -30,6 +30,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -64,7 +69,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -304,5 +309,10 @@ ikiwiki will include your shortcut in the standard underlay.</p>
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/sidebar/community/index.html b/sidebar/community/index.html
index 02cb584..9d245b3 100644
--- a/sidebar/community/index.html
+++ b/sidebar/community/index.html
@@ -30,6 +30,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -66,7 +71,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -231,5 +236,10 @@
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/sidebar/index.html b/sidebar/index.html
index 1dd1f32..5f6d11b 100644
--- a/sidebar/index.html
+++ b/sidebar/index.html
@@ -30,6 +30,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -64,7 +69,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -297,5 +302,10 @@
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/sidebar/language/index.html b/sidebar/language/index.html
index 250c509..6e7ed1d 100644
--- a/sidebar/language/index.html
+++ b/sidebar/language/index.html
@@ -30,6 +30,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -66,7 +71,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -229,5 +234,10 @@
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/sidebar/logos/index.html b/sidebar/logos/index.html
index c1f42d8..7fa2119 100644
--- a/sidebar/logos/index.html
+++ b/sidebar/logos/index.html
@@ -30,6 +30,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -66,7 +71,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -223,5 +228,10 @@
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/sidebar/main/index.html b/sidebar/main/index.html
index 24041ad..0c4f8ef 100644
--- a/sidebar/main/index.html
+++ b/sidebar/main/index.html
@@ -30,6 +30,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -66,7 +71,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -224,5 +229,10 @@
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/templates/index.html b/templates/index.html
index b29fb57..0721346 100644
--- a/templates/index.html
+++ b/templates/index.html
@@ -30,6 +30,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -64,7 +69,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -303,5 +308,10 @@ markup, it's not converted to html before being processed as a
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/templates/note/index.html b/templates/note/index.html
index f4464e8..31f2141 100644
--- a/templates/note/index.html
+++ b/templates/note/index.html
@@ -30,6 +30,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -66,7 +71,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -240,5 +245,10 @@ parameter:</p>
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
diff --git a/templates/popup/index.html b/templates/popup/index.html
index 81e8fa8..6c115eb 100644
--- a/templates/popup/index.html
+++ b/templates/popup/index.html
@@ -30,6 +30,11 @@
</script>
</head>
<body onload="javascript:fixLinks();">
+<div id="body1">
+<div id="body2">
+<div id="body3">
+<div id="body4">
+<div id="body5">
<!-- ******************** *********** ******************** -->
<!-- ******************** PAGE HEADER ******************** -->
@@ -66,7 +71,7 @@
</div>
-<div id="leftcolumn">
+<div id="sidecolumn">
<!-- ******************** **** ******************** -->
<!-- ******************** LOGO ******************** -->
@@ -236,5 +241,10 @@ inline in the page, inside square brackets.
</div><!-- .pagefooter #footer -->
+</div> <!-- #body5 -->
+</div> <!-- #body4 -->
+</div> <!-- #body3 -->
+</div> <!-- #body2 -->
+</div> <!-- #body1 -->
</body>
</html>
--
Website for Isaac project
More information about the Lisaac-commits
mailing list