diff --git a/local.css b/local.css
index f73ad8d4..041ede44 100644
--- a/local.css
+++ b/local.css
@@ -94,6 +94,7 @@ pre {
 
 .inlinepage {
     border: 1px dotted #c0c0c0;
+    margin: 1em 0;
 }
 
 .header {