New section header style.

Fix up a few synopses.
diff --git a/Doc/lib/libos.tex b/Doc/lib/libos.tex
index 41198ec..75d4182 100644
--- a/Doc/lib/libos.tex
+++ b/Doc/lib/libos.tex
@@ -1,4 +1,5 @@
-\section{Standard Module \module{os}}
+\section{\module{os} ---
+         Miscellaneous OS interfaces.}
 \declaremodule{standard}{os}
 
 \modulesynopsis{Miscellaneous OS interfaces.}