diff options
Diffstat (limited to 'doc/manual/style.css')
| -rw-r--r-- | doc/manual/style.css | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/manual/style.css b/doc/manual/style.css index 533104229953..bf6fc3ecf43e 100644 --- a/doc/manual/style.css +++ b/doc/manual/style.css @@ -102,6 +102,8 @@ pre.screen .note,.warning { + margin-top: 1em; + margin-bottom: 1em; border: 1px solid #6185a0; padding: 0px 1em; background: #fffff5; |