From 8370b62d175b0c92a77fe2c803fbb82b9a768ea9 Mon Sep 17 00:00:00 2001
From: Mike Gerwitz <mike@mikegerwitz.com>
Date: Sun, 6 Nov 2011 23:55:41 -0500
Subject: [PATCH] [#5] Altered manual CSS for table display

---
 doc/manual.css | 17 ++++++++++++++---
 1 file changed, 14 insertions(+), 3 deletions(-)

diff --git a/doc/manual.css b/doc/manual.css
index 66e7ca3..188c614 100644
--- a/doc/manual.css
+++ b/doc/manual.css
@@ -26,11 +26,14 @@ body, .float-caption
   font-family: arial, sans-serif;
 }
 
-.float, var
-{
+.float pre, var {
   font-family: 'Bitstream Vera Sans Mono', 'DejaVu Sans Mono', Courier, monospace;
 }
 
+table, table td {
+  padding: 0.25em;
+}
+
 dfn {
   font-style: italic;
   font-weight: bold;
@@ -50,7 +53,8 @@ var {
 }
 
 /* for code samples */
-.float .verbatim {
+.float .verbatim,
+.float table {
   background-color: #fafafc;
 
   font-size: 12px;
@@ -62,6 +66,13 @@ var {
   padding: 0.5em 0.5em 1em 0.5em;
 }
 
+.float table {
+  font-size: inherit;
+
+  padding-top: 0px;
+  margin-top:  0px;
+}
+
 .float-caption {
   margin:  0px;
   padding: 0.5em;