Added some rules that affect those little "See also:" sections.
diff --git a/Doc/html/style.css b/Doc/html/style.css
index 33bed3b..c9625db 100644
--- a/Doc/html/style.css
+++ b/Doc/html/style.css
@@ -47,6 +47,17 @@
.file { font-family: avantgarge, sans-serif }
/*
+ * Some decoration for the "See also:" blocks, in part inspired by some of
+ * the styling on Lars Marius Garshol's XSA pages.
+ * (The blue in the navigation bars is #99CCFF.)
+ */
+.seealso { background-color: floralwhite;
+ border: thin solid black;
+ padding: 4pt }
+
+.seealso .heading { font-size: 110% }
+
+/*
* 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).