diff -r 623c9e8668aa -r abb280dd3431 Admin/website/documentation.html
--- a/Admin/website/documentation.html	Wed Sep 21 14:46:10 2005 +0200
+++ b/Admin/website/documentation.html	Wed Sep 21 16:37:37 2005 +0200
@@ -18,8 +18,8 @@
 
         <h2>Getting started</h2>
 
-        <a href="//dist/img/tutorial_cover_big.gif">
-            <img class="left" src="//dist/img/tutorial_cover_small.gif" alt="Cover " 
+        <a href="//img/tutorial_cover_big.gif">
+            <img class="right" src="//img/tutorial_cover_small.gif" alt="Cover " 
                 width="83" height="125"/>
         </a>
         <p>For getting started with Isabelle quickly, we recommend the <a href=
@@ -27,7 +27,7 @@
         Isabelle/HOL</a> (published by Springer Verlag as <a href=
         "http://www4.in.tum.de/~nipkow/LNCS2283/">LNCS 2283</a>) and the <a href=
         "#course_material">course material</a>.</p>
-        <br clear="all" />
+        <br clear="right" />
 
         <h2>Mailing list and FAQ</h2>