From 507d8211e9c5744caf4198274a724b8bdd0ee12e Mon Sep 17 00:00:00 2001
From: Gerald Combs <gerald@wireshark.org>
Date: Fri, 16 Mar 2018 10:07:48 -0700
Subject: [PATCH] CSS: Add a margin.

Change-Id: Ib6da6455f7af8a7cfd9dae3ef6a8511a100a184b
Reviewed-on: https://code.wireshark.org/review/26503
Reviewed-by: Gerald Combs <gerald@wireshark.org>
---
 docbook/ws.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docbook/ws.css b/docbook/ws.css
index 67ffe5f0d7..ee4a77dda9 100644
--- a/docbook/ws.css
+++ b/docbook/ws.css
@@ -697,7 +697,7 @@ p strong, td.content strong, div.footnote strong { letter-spacing: -0.005em; }
 
 p, blockquote, dt, td.content, span.alt { font-size: 1.0625rem; }
 
-p { margin-bottom: 1.25rem; }
+p, pre { margin-bottom: 1.25rem; }
 
 .sidebarblock p, .sidebarblock dt, .sidebarblock td.content, p.tableblock { font-size: 1em; }