diff --git a/stylesheets/style.css b/stylesheets/style.css
index e0d1a5af..1d6371de 100644
--- a/stylesheets/style.css
+++ b/stylesheets/style.css
@@ -865,6 +865,7 @@ pre {
   overflow: hidden;
   position: relative;
   font-size: 10pt;
+  padding-top: 5px;
   margin-top: 5px;
   margin-bottom: 20px;
 }