diff -r a21688a55d21 -r 6bfc384eecf0 doc/book/en/.static/sphinx-default.css
--- a/doc/book/en/.static/sphinx-default.css	Wed Dec 24 12:17:41 2008 -0800
+++ b/doc/book/en/.static/sphinx-default.css	Wed Dec 24 12:18:06 2008 -0800
@@ -548,7 +548,7 @@
     padding: 3px 0 3px 10px;
 }
 
-div.body h1 { margin-top: 0; font-size: 150%; }
+div.body h1 { margin-top: 10pt; font-size: 150%; }
 div.body h2 { font-size: 120%; }
 div.body h3 { font-size: 100%; }
 div.body h4 { font-size: 80%; }