diff --git a/index.html b/index.html
index 19f7adb..0ab226b 100644
--- a/index.html
+++ b/index.html
@@ -26,7 +26,7 @@
       border-left:2ex solid #ddd}
     #man pre + h2, #man pre + h3 {
       margin-top:22px;
-    }
+    } 
     #man h2 + pre, #man h3 + pre {
       margin-top:5px;
     }