From ed0b4dcca746f72ed23310af8420c831e8bd8b70 Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Mon, 7 May 2018 16:22:23 +0200
Subject: Increase note top/bottom margins

---
 common.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/common.css b/common.css
index ce35ae1..e8cb28a 100644
--- a/common.css
+++ b/common.css
@@ -218,7 +218,7 @@ pre {text-align: left;}   /* If it is inside li/dd. */
 
 div.note
 {
-  margin: 1em 0 1em 0;
+  margin: 2em 0 2em 0; /* The same top/bottom margings as pre box. */
 
   padding-left: 0.5em;
   border: 0.25em;
-- 
cgit v1.1