--- a/Admin/website/documentation.html Mon Jul 04 14:42:06 2005 +0200
+++ b/Admin/website/documentation.html Mon Jul 04 15:15:55 2005 +0200
@@ -8,15 +8,14 @@
<?include file="//include/htmlheader.include.html"?>
</head>
-<body class="dist">
+<body>
<?include file="//include/header.include.html"?>
<div class="hr"><hr/></div>
<?include file="//include/navigation.include.html"?>
<div class="hr"><hr/></div>
<div id="content">
- <?include file="//include/mirrorlist.include.html"?>
- <div class="hr"><hr/></div>
+
<h2>Getting started</h2>
<a href="//dist/img/tutorial_cover_big.gif">