# HG changeset patch
# User haftmann
# Date 1120114673 -7200
# Node ID 94e3d94b426d9493392367ae70538ebcb756ef4c
# Parent  27b62ff6f452a45a5798a244a06e5d7e3c5cdbd4
minor corrections

diff -r 27b62ff6f452 -r 94e3d94b426d Admin/website/build/pypager.py
--- a/Admin/website/build/pypager.py	Thu Jun 30 08:23:47 2005 +0200
+++ b/Admin/website/build/pypager.py	Thu Jun 30 08:57:53 2005 +0200
@@ -160,6 +160,7 @@
            where prefix denotes the base root url of the mirror location
            and title the visible description"""
 
+        title = title.replace(u" ", unichr(160))
         thisloc = self._pc.relLocOfThis()
         if thisloc.startswith(stripprefix):
             thisloc = thisloc[len(stripprefix):]
diff -r 27b62ff6f452 -r 94e3d94b426d Admin/website/dist/css/isabelle_screen.css
--- a/Admin/website/dist/css/isabelle_screen.css	Thu Jun 30 08:23:47 2005 +0200
+++ b/Admin/website/dist/css/isabelle_screen.css	Thu Jun 30 08:57:53 2005 +0200
@@ -114,7 +114,7 @@
 
 /* mirror switch layout */
 div.mirrorlist {
-    margin: 10pt;
+    margin: 5pt 0pt 10pt 10pt;
     padding: 0pt;
     position: relative;
     float: right;
@@ -137,11 +137,11 @@
 
 div.mirrorlist ul {
     margin: 1pt 1pt 1pt 1em;
-    margin-left: 1em;
     padding: 0pt;
 }
 
 div.mirrorlist ul li {
     font-size: 8pt;
     font-style: italics;
+    padding: 0pt 12pt 0pt 0pt;
 }
\ No newline at end of file
diff -r 27b62ff6f452 -r 94e3d94b426d Admin/website/dist/documentation.html
--- a/Admin/website/dist/documentation.html	Thu Jun 30 08:23:47 2005 +0200
+++ b/Admin/website/dist/documentation.html	Thu Jun 30 08:57:53 2005 +0200
@@ -16,6 +16,7 @@
 
     <div id="content">
         <?include file="//include/mirrorlist.minor.include.html"?>
+        <div class="hr"><hr/></div>
         <h2>Getting started</h2>
 
         <a href="//dist/img/tutorial_cover_big.gif">
diff -r 27b62ff6f452 -r 94e3d94b426d Admin/website/dist/download.html
--- a/Admin/website/dist/download.html	Thu Jun 30 08:23:47 2005 +0200
+++ b/Admin/website/dist/download.html	Thu Jun 30 08:57:53 2005 +0200
@@ -13,8 +13,11 @@
     <div class="hr"><hr/></div>
     <?include file="//include/navigation_dist.include.html"?>
     <div class="hr"><hr/></div>
+
     <div id="content">
         <?include file="//include/mirrorlist.minor.include.html"?>
+        <div class="hr"><hr/></div>
+
         <h2><?value key="distname"?></h2>
 
         <p>The following source and binary packages of <?value key="distname"?>
diff -r 27b62ff6f452 -r 94e3d94b426d Admin/website/dist/download_past.html
--- a/Admin/website/dist/download_past.html	Thu Jun 30 08:23:47 2005 +0200
+++ b/Admin/website/dist/download_past.html	Thu Jun 30 08:57:53 2005 +0200
@@ -13,7 +13,10 @@
     <div class="hr"><hr/></div>
     <?include file="//include/navigation_dist.include.html"?>
     <div class="hr"><hr/></div>
+
     <div id="content">
+        <?include file="//include/mirrorlist.minor.include.html"?>
+        <div class="hr"><hr/></div>
 
         <h2>Archive</h2>
 
diff -r 27b62ff6f452 -r 94e3d94b426d Admin/website/dist/index.html
--- a/Admin/website/dist/index.html	Thu Jun 30 08:23:47 2005 +0200
+++ b/Admin/website/dist/index.html	Thu Jun 30 08:57:53 2005 +0200
@@ -13,7 +13,11 @@
     <div class="hr"><hr/></div>
     <?include file="//include/navigation_dist.include.html"?>
     <div class="hr"><hr/></div>
+
     <div id="content">
+      <?include file="//include/mirrorlist.minor.include.html"?>
+      <div class="hr"><hr/></div>
+
       <h2>Welcome to the Isabelle Distribution!</h2>
 
       <p>First, you might like to switch to a nearby mirror:</p>
diff -r 27b62ff6f452 -r 94e3d94b426d Admin/website/dist/installation.html
--- a/Admin/website/dist/installation.html	Thu Jun 30 08:23:47 2005 +0200
+++ b/Admin/website/dist/installation.html	Thu Jun 30 08:57:53 2005 +0200
@@ -13,7 +13,10 @@
     <div class="hr"><hr/></div>
     <?include file="//include/navigation_dist.include.html"?>
     <div class="hr"><hr/></div>
+
     <div id="content">
+      <?include file="//include/mirrorlist.minor.include.html"?>
+      <div class="hr"><hr/></div>
 
       <h2>General</h2>
       
diff -r 27b62ff6f452 -r 94e3d94b426d Admin/website/dist/installation_notes_cygwin.html
--- a/Admin/website/dist/installation_notes_cygwin.html	Thu Jun 30 08:23:47 2005 +0200
+++ b/Admin/website/dist/installation_notes_cygwin.html	Thu Jun 30 08:57:53 2005 +0200
@@ -13,7 +13,10 @@
     <div class="hr"><hr/></div>
     <?include file="//include/navigation_dist.include.html"?>
     <div class="hr"><hr/></div>
+
     <div id="content">
+      <?include file="//include/mirrorlist.minor.include.html"?>
+      <div class="hr"><hr/></div>
 
       <h2>Preconditions and restrictions</h2>
     
diff -r 27b62ff6f452 -r 94e3d94b426d Admin/website/overview.html
--- a/Admin/website/overview.html	Thu Jun 30 08:23:47 2005 +0200
+++ b/Admin/website/overview.html	Thu Jun 30 08:57:53 2005 +0200
@@ -15,6 +15,7 @@
     <div class="hr"><hr/></div>
     <div id="content">
       <?include file="//include/mirrorlist.major.include.html"?>
+      <div class="hr"><hr/></div>
       <h2>What is Isabelle?</h2> 
       <p>
       Isabelle is a generic proof assistant. It allows mathematical