reverted smaller margin in Note: Vecto ... again. problem with images.

8890ae9f · Michael KRISPER · 89fe998b · 8890ae9f · 8890ae9f
Commit 8890ae9f authored 9 years ago by Michael KRISPER
--- a/User Manual/help.html
+++ b/User Manual/help.html
--- a/User Manual/includes/style.css
+++ b/User Manual/includes/style.css
@@ -104,7 +104,6 @@ div.vecto2:before {
  margin-left: -8px;
  font-weight: bold;
  display: inline-block;
-  margin-bottom:-1em;
  font-size: smaller;
 }

@@ -123,7 +122,6 @@ div.vecto3:before {
  margin-left: -8px;
  font-weight: bold;
  display: inline-block;
-  margin-bottom:-1em;
  font-size: smaller;
 }