--- 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
=====================================
--- 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":
--- 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="mailto:isabelle-users@cl.cam.ac.uk">isabelle-users@cl.cam.ac.uk</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="mailto:lcp@cl.cam.ac.uk?subject=subscribe&body=Please%20add%20me%20to%20the%20Isabelle%20mailing%20list">contact
Larry Paulson</a>.</p>
--- 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;
--- 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