From 27655c847d4d69178bec9789e59070234f880392 Mon Sep 17 00:00:00 2001
From: Mike Gerwitz <mike@mikegerwitz.com>
Date: Mon, 14 Mar 2011 18:44:27 -0400
Subject: [PATCH] Adjusted CSS for manual for browser like FF

---
 doc/manual.css | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/doc/manual.css b/doc/manual.css
index 08c0754..7bfa01e 100644
--- a/doc/manual.css
+++ b/doc/manual.css
@@ -11,10 +11,10 @@ html {
 body {
   background-color: white;
   border-color:     #babdb6;
-  border-width:     0px 1px;
+  border-width:     0px 1px 1px 1px;
   border-style:     solid;
 
-  margin:  0px 5em;
+  margin: 0px 5em;
   padding: 1em;
 
   font-family: arial, serif;
@@ -25,13 +25,16 @@ dfn {
   font-weight: bold;
 }
 
+var {
+  font-family: monospace;
+}
+
 .float {
   border: 1px solid #babdb6;
   padding: 0.5em;
 }
 
-.float-caption,
-.float-caption em {
+.float-caption {
   font-size: 0.9em;
 }