From 1615f7ca650c61d4e84d9aa09671a5bc13029db6 Mon Sep 17 00:00:00 2001
From: Mike Bayer <mike_mp@zzzcomputing.com>
Date: Wed, 18 Jan 2006 00:30:32 +0000
Subject: [PATCH] changes to support docs in IE, adds a lot of whitespace....

---
 doc/build/components/formatting.myt |  2 +-
 doc/docs.css                        | 10 +++++++++-
 2 files changed, 10 insertions(+), 2 deletions(-)

diff --git a/doc/build/components/formatting.myt b/doc/build/components/formatting.myt
index 65ab5d2500..00e91c3795 100644
--- a/doc/build/components/formatting.myt
+++ b/doc/build/components/formatting.myt
@@ -336,7 +336,7 @@ javascript:togglePopbox('<% name %>', '<% show %>', '<% hide %>')
     if name is None:
         name = 'popbox_' + repr(m.attributes['popbox_name'])
 </%init>
-<div id="<% name %>_div" class="<% class_ %>" style="display:none;"><% m.content().strip() %></div>
+</pre><div id="<% name %>_div" class="<% class_ %>" style="display:none;"><% m.content().strip() %></div><pre>
 </%method>
 
 <%method poplink trim="both">
diff --git a/doc/docs.css b/doc/docs.css
index ae97a647ea..ccf5a488ab 100644
--- a/doc/docs.css
+++ b/doc/docs.css
@@ -181,6 +181,12 @@
 }
 
 .code {
+	font-family:courier, serif;
+	font-size:12px;
+	background-color: #E2E2EB;
+	padding:2px 2px 2px 10px;
+	margin: 5px 5px 5px 5px;
+	line-height:1.2em;
 }
 
 .codepop {
@@ -190,7 +196,9 @@
 	color:#000000;
 	border:1px solid;
 	padding:10px;
-	margin:5px 10px 5px 0px;
+	width:95%;
+	/*margin:5px 10px 5px 0px;*/
+	/*clear:right;*/
 }
 
 .codepoplink {
-- 
2.47.2