From b88fea9868fe885c302c5c3f5b018c7116639fca Mon Sep 17 00:00:00 2001
From: Mike Gerwitz <mike@mikegerwitz.com>
Date: Mon, 7 May 2012 22:24:19 -0400
Subject: [PATCH] Added pre tag styling to webdoc generated pages to be
 consistent with About page examples

---
 style.css | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/style.css b/style.css
index 76d0405..1e74e79 100644
--- a/style.css
+++ b/style.css
@@ -317,7 +317,7 @@ h3.bigemph {
   padding-bottom: 0.2em;
 }
 
-pre.js {
+pre.js, div.float {
   background-image:  url( 'images/cross_scratches.png' );
   background-repeat: both;
 
@@ -328,6 +328,15 @@ pre.js {
   padding:   1em;
 }
 
+/* from manual (overrides some of the styles above) */
+div.float {
+  padding: 0;
+}
+div.float pre.verbatim,
+div.float table {
+  background-color: transparent; /* for those who don't support rgba */
+}
+
 a.top {
   float: right;
 }