# HG changeset patch
# User haftmann
# Date 1119944499 -7200
# Node ID 81778a796290a08b9abe4c0d3e5c5dc5a26cbee4
# Parent  c1f41c98fd3ca01b8d3a53165929aaa39104717b
some corrections

diff -r c1f41c98fd3c -r 81778a796290 Admin/website/README
--- a/Admin/website/README	Sun Jun 26 15:16:58 2005 +0200
+++ b/Admin/website/README	Tue Jun 28 09:41:39 2005 +0200
@@ -1,4 +1,4 @@
-The Isabelle webpage
+The Isabelle Webpage
 ====================
 
 (1) philosophy
@@ -53,12 +53,13 @@
 You may add arbitrary files to the dir structure, but adhere to the following:
 * use XHTML, not loose HTML
 * only structural markup; if you need layout effects, use CSS
+  (browse the exitings files to get some inspirations)
 * any files ending with .html are considered as HTML files and are implicitly
   processed by the preprocessing layer
 * for HTML includes, it is most convenient to name them *.include.html to
   avoid them to be processed stand-alone by the preprocessing layer
-* whole dirs maybe selected for statically copying them to the target destination
-  by configuring the project layer
+* whole dirs maybe selected for statically copying them to the
+  target destination by configuring the project layer
 * for attributes etc. referencing file locations, there is a convenient
   abbreviation: "//" at the beginning of a path is translated to the root,
   but expressed relatively to the current location, e. g.
@@ -67,10 +68,11 @@
                 becomes: <a href="../def/itsyou.html">
 
   Further, targets are checked for existances.
-  This is a simple but powerful thing easing to keep the pages consistent.
+  This is a simple yet powerful thing easing to keep the pages consistent.
 * for the semantics of the processing instructions, see build/pypager.py
   source code
 
+
 (3) using the project layer framework
 =====================================
 
diff -r c1f41c98fd3c -r 81778a796290 Admin/website/TODO
--- a/Admin/website/TODO	Sun Jun 26 15:16:58 2005 +0200
+++ b/Admin/website/TODO	Tue Jun 28 09:41:39 2005 +0200
@@ -2,8 +2,6 @@
 
 - use "//" paths for alle internal static resources, due to link consistency
 
-- make preview second section in "overview"
-
 - centralize scattered project partners informations at "community"
 
 - move projects from "overview" to "community"
@@ -12,6 +10,9 @@
 
 - add CONTRIBUTORS and COPYRIGHT to Packages
 
+- attempt to include a notion of mirrors, in order to re-clarify
+  the relationship between main and dist
+
 In the mid-time:
 
 - clarify relationship of "overview" and "logics":
diff -r c1f41c98fd3c -r 81778a796290 Admin/website/community.html
--- a/Admin/website/community.html	Sun Jun 26 15:16:58 2005 +0200
+++ b/Admin/website/community.html	Tue Jun 28 09:41:39 2005 +0200
@@ -21,7 +21,7 @@
       href="&#109;&#97;&#105;&#108;&#116;&#111;:&#105;&#115;&#97;&#98;&#101;&#108;&#108;&#101;-&#117;&#115;&#101;&#114;&#115;&#64;&#99;&#108;&#46;&#99;&#97;&#109;&#46;&#97;&#99;&#46;&#117;&#107;">&#105;&#115;&#97;&#98;&#101;&#108;&#108;&#101;-&#117;&#115;&#101;&#114;&#115;&#64;&#99;&#108;&#46;&#99;&#97;&#109;&#46;&#97;&#99;&#46;&#117;&#107;</a>
       and its <a
       href="http://www.cl.cam.ac.uk/users/lcp/archive/">archive</a> to
-      discuss problems and results.  To subscribe, <a
+      discuss problems and results. To subscribe, <a
       href="&#109;&#97;&#105;&#108;&#116;&#111;:&#108;&#99;&#112;&#64;&#99;&#108;&#46;&#99;&#97;&#109;&#46;&#97;&#99;&#46;&#117;&#107;?subject=subscribe&amp;body=Please%20add%20me%20to%20the%20Isabelle%20mailing%20list">contact
       Larry Paulson</a>.</p>
 
diff -r c1f41c98fd3c -r 81778a796290 Admin/website/dist/css/isabelle_base.css
--- a/Admin/website/dist/css/isabelle_base.css	Sun Jun 26 15:16:58 2005 +0200
+++ b/Admin/website/dist/css/isabelle_base.css	Tue Jun 28 09:41:39 2005 +0200
@@ -79,19 +79,6 @@
     width: 100%;
 }
 
-/* div#navigation ul li {
-    margin: 5px 0em;
-    padding: 1em 0.5em;
-    text-align: center;
-}
-
--- perhaps this must be reactivated if the span/strong hack
-   makes problems on non-mozilla browsers
-
-div#navigation ul li.nav_current {
-    background-color: #AAFFAA;
-} */ 
-
 div#navigation ul li {
     margin: 0em;
     padding: 0em;
diff -r c1f41c98fd3c -r 81778a796290 Admin/website/dist/css/isabelle_screen.css
--- a/Admin/website/dist/css/isabelle_screen.css	Sun Jun 26 15:16:58 2005 +0200
+++ b/Admin/website/dist/css/isabelle_screen.css	Tue Jun 28 09:41:39 2005 +0200
@@ -111,3 +111,26 @@
 body.dist div#content {
     /* not needed now */
 }
+
+/* mirror switch layout */
+div.mirrorlist {
+    margin: 2pt;
+    padding: 1pt;
+    border: 2pt solid #000000;
+    background-color: #EEEEDD;
+}
+
+div.mirrorlist h2 {
+    margin: 0pt;
+    padding: 2pt;
+    border: none;
+    background-color: #000000;
+    color: #EEEEDD;
+    font-size: 10pt;
+    text-align: left;
+}
+
+div.mirrorlist ul {
+    font-size: 10pt;
+    font-style: italics;
+}
\ No newline at end of file