Changes to accomodate the global module index and platform annotations.
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 }