Changes to accomodate the global module index and platform annotations.
diff --git a/Doc/html/index.html b/Doc/html/index.html
index 0487ac3..5498901 100644
--- 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 afb1855..33bed3b 100644
--- a/Doc/html/style.css
+++ b/Doc/html/style.css
@@ -44,3 +44,11 @@
.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 }