Made a minor adjustment to spacing around admon output.

diff --git a/xsl/docsrcx/reference.css b/xsl/docsrcx/reference.css
index 6ef809a1913f80e83a082de0bc6c4f0314b08859..53982d0a87e0a5fc4c1bae4e909d4022bd6fd420 100644 (file)
--- a/xsl/docsrcx/reference.css
+++ b/xsl/docsrcx/reference.css
@@ -14,6 +14,11 @@ div.note {
   padding: 5px;
 }
 
+div.note p {
+  margin-top: 0px;
+  margin-bottom: 4px;
+}
+
 div.informalexample {
   background-color: #d5dee3;
   border-top-width: 2px;