clear floats before comments begin

diff --git a/doc/style.css b/doc/style.css
index 7c97a518c6679b871505cdd8fd7fda8cb2b4568e..bf000dae189ac8d7c12a6780837a422a3773873c 100644 (file)
--- a/doc/style.css
+++ b/doc/style.css
@@ -62,10 +62,9 @@ nav {
        margin-top: .4em;
 }
 
-.pagefooter {
-       clear: both;
-}
-.inlinefooter {
+.pagefooter,
+.inlinefooter,
+.comments {
        clear: both;
 }