diff --git a/doc/manual.css b/doc/manual.css
index 0223b6f..92673c2 100644
--- a/doc/manual.css
+++ b/doc/manual.css
@@ -46,6 +46,7 @@ var {
 var div {
   position: relative;
   display:  inline;
+  margin-right: 0.25em;
 }
 
 var sub, var sup {
@@ -55,7 +56,7 @@ var sub, var sup {
 sup.left {
   position: absolute;
   left: 0px;
-  top: -0.75em;
+  top: -0.25em;
 }
 
 sub.left {