From 2bb7d0f858233ddd5bb649d1a0eb14abea817d76 Mon Sep 17 00:00:00 2001
From: Mike Gerwitz <mike@mikegerwitz.com>
Date: Thu, 10 Nov 2011 23:20:08 -0500
Subject: [PATCH] [#5] Adjusted margins for sub/superscript in manual

---
 doc/manual.css | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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 {