summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2018-05-07 14:22:23 (GMT)
committerBoris Kolpackov <boris@codesynthesis.com>2018-05-07 14:22:23 (GMT)
commited0b4dcca746f72ed23310af8420c831e8bd8b70 (patch)
treef44d9a3f9ee5e71b735015893d5d14de6971ade5
parent9662ab9e0f569e82475b56c3d1dcf0b23792a34e (diff)
Increase note top/bottom margins
-rw-r--r--common.css2
1 files changed, 1 insertions, 1 deletions
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;