diff options
author | Gerald Combs <gerald@wireshark.org> | 2018-03-16 10:07:48 -0700 |
---|---|---|
committer | Gerald Combs <gerald@wireshark.org> | 2018-03-16 17:08:51 +0000 |
commit | 507d8211e9c5744caf4198274a724b8bdd0ee12e (patch) | |
tree | 295729a0b83de60a900cdf0ec452f7abe30ee14e /docbook | |
parent | 90b30409a68949711591df3cd20d9e1ab2e0f587 (diff) |
CSS: Add a margin.
Change-Id: Ib6da6455f7af8a7cfd9dae3ef6a8511a100a184b
Reviewed-on: https://code.wireshark.org/review/26503
Reviewed-by: Gerald Combs <gerald@wireshark.org>
Diffstat (limited to 'docbook')
-rw-r--r-- | docbook/ws.css | 2 |
1 files changed, 1 insertions, 1 deletions
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; } |