1 files changed, 7 insertions, 2 deletions
diff --git a/doc/manual/style.css b/doc/manual/style.css
index 2d97b95e6d58..f2c0bfa041a1 100644
--- a/doc/manual/style.css
+++ b/doc/manual/style.css
@@ -83,7 +83,7 @@ pre.programlisting
                             Screen dumps:
  ***************************************************************************/
 
-pre.screen
+pre.screen, pre.programlisting
 {
     border: 1px solid #6185a0;
     padding: 3px 3px;
@@ -259,4 +259,9 @@ strong.command
 //    font-style: italic;
 //    font-weight: normal;
     color: #400000;
-}
\ No newline at end of file
+}
+
+div.calloutlist td
+{
+    padding-bottom: 1em;
+}