--- 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):]
--- 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
--- 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">
--- 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"?>
--- 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>
--- 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>
--- 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>
--- 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>
--- 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