Changes to accomodate the global module index and platform annotations.

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>

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 }