New section header style.

Fix up a few synopses.
diff --git a/Doc/lib/librand.tex b/Doc/lib/librand.tex
index 7a5adea..e335718 100644
--- a/Doc/lib/librand.tex
+++ b/Doc/lib/librand.tex
@@ -1,4 +1,5 @@
-\section{Standard Module \module{rand}}
+\section{\module{rand} ---
+         None}
 \declaremodule{standard}{rand}
 
 \modulesynopsis{None}