Changes to accomodate the global module index and platform annotations.

diff --git a/Doc/html/index.html b/Doc/html/index.html
index 0487ac3efcae3d21f35b6c51786f061d73b89348..549890139543afeab5ef8beeac5b20203b6e68c4 100644 (file)
--- a/Doc/html/index.html
+++ b/Doc/html/index.html
@@ -9,10 +9,15 @@
       <LI> <A HREF="tut/tut.html">Tutorial</A>
        (start here)
 
+      <LI> <A HREF="modindex.html">Global Module Index</A>
+       (for quick access to all documentation)
+
       <LI> <A HREF="lib/lib.html">Library Reference</A>
+       (<A HREF="lib/modindex.html">Module Index</A>)
        (keep this under your pillow)
 
       <LI> <A HREF="mac/mac.html">Macintosh Module Reference</A>
+       (<A HREF="mac/modindex.html">Module Index</A>)
        (this too, if you use a Macintosh)
 
       <LI> <A HREF="ref/ref.html">Language Reference</A>

diff --git a/Doc/html/style.css b/Doc/html/style.css
index afb1855caa543894999d528409022c7d724a5da7..33bed3bf2c1b1301d11875777446f68a271a6d5f 100644 (file)
--- a/Doc/html/style.css
+++ b/Doc/html/style.css
@@ -44,3 +44,11 @@ var                  { font: italic normal serif }
 .mimetype              { font-family: avantgarde, sans-serif }
 .newsgroup             { font-family: avantgarde, sans-serif }
 .url                   { font-family: avantgarde, sans-serif }
+.file                  { font-family: avantgarge, sans-serif }
+
+/*
+ * Class 'availability' is used for module availability statements at
+ * the top of modules.  Otherwise, rely on context for platform specifiers
+ * (generated by \platform and \platformof).
+ */
+.availability .platform { font-weight: bold }