diff --git a/User Manual/includes/style.css b/User Manual/includes/style.css
index 6754c8859ed56fa8c09d2bf8f32ca0dff4de7295..c7c986f4e17de369fcc0fcd3f30cac62401b77b3 100644
--- a/User Manual/includes/style.css	
+++ b/User Manual/includes/style.css	
@@ -100,11 +100,12 @@ div.vecto2:before {
   content: 'Note: Vecto 2.2!';
   background: gray;
   color: white;
-  padding: 5px 5px 5px 33px;
+  padding: 5px 5px 5px 5px;
   margin-left: -8px;
   font-weight: bold;
   display: inline-block;
-  margin-bottom: 1em;
+  margin-bottom:-1em;
+  font-size: smaller;
 }
 
 
@@ -118,10 +119,15 @@ div.vecto3:before {
   content: 'Note: Vecto 3.x!';
   background: green;
   color: white;
-  padding: 5px 5px 5px 33px;
+  padding: 5px 5px 5px 5px;
   margin-left: -8px;
   font-weight: bold;
   display: inline-block;
-  margin-bottom: 1em;
+  margin-bottom:-1em;
+  font-size: smaller;
 }
 
+pre {
+  padding: 2px;
+  border: 1px solid #EEEEEE;
+}