diff --git a/doc/e.css b/doc/e.css
index 086c958156..82914b4b39 100644
--- a/doc/e.css
+++ b/doc/e.css
@@ -150,6 +150,7 @@ dl.el {
   font-family: monospace, mono, fixed;
   font-size: 9pt;
   white-space: pre;
+  padding-top: 10px;
 }
 
 .line {