From 197cd2d534e309b94b68e8b98709ddcac207032e Mon Sep 17 00:00:00 2001
From: Thomas Witt <witt@acm.org>
Date: Fri, 6 Jul 2007 19:47:17 +0000
Subject: [PATCH] Doc and build fixes by Dave Abrahams.

[SVN r38154]
---
 libs/iterator |  2 +-
 libs/python   |  2 +-
 rst.css       | 19 +++++++++++++------
 3 files changed, 15 insertions(+), 8 deletions(-)

diff --git a/libs/iterator b/libs/iterator
index aa483f4961..c849f35965 160000
--- a/libs/iterator
+++ b/libs/iterator
@@ -1 +1 @@
-Subproject commit aa483f4961157f5ab8cb1594dbd8f854544ce668
+Subproject commit c849f359658d80e029a2f3e001df4d270a6d2a5c
diff --git a/libs/python b/libs/python
index bd606e5017..2851325748 160000
--- a/libs/python
+++ b/libs/python
@@ -1 +1 @@
-Subproject commit bd606e50173ace3321781f0f8adec521ed178c2c
+Subproject commit 28513257485fa5d9daafc04447c7f8c133c1e0fe
diff --git a/rst.css b/rst.css
index 8382031fc4..657224b7b1 100755
--- a/rst.css
+++ b/rst.css
@@ -62,27 +62,34 @@ dl,table
     Tables
 =============================================================================*/
 
-    table.table
+/* The only clue docutils gives us that tables are logically tables,
+   and not, e.g., footnotes, is that they have border="1".  Therefore
+   we're keying off of that.  We used to manually patch docutils to
+   add a "table" class to all logical tables, but that proved much too
+   fragile.
+*/
+
+    table[border="1"]
     {
         width: 92%;
         margin-left: 4%;
         margin-right: 4%;
     }
     
-    table.table
+    table[border="1"]
     {
         padding: 4px;
     }
     
     /* Table Cells */
-    table.table tr td
+    table[border="1"] tr td
     {
         padding: 0.5em;
         text-align: left;
         font-size: 9pt;
     }
 
-    table.table tr th
+    table[border="1"] tr th
     {
         padding: 0.5em 0.5em 0.5em 0.5em;
         border: 1pt solid white;
@@ -93,12 +100,12 @@ dl,table
     {
     
     /* Tables */
-        table.table tr td
+        table[border="1"] tr td
         {
             border: 1px solid #DCDCDC;
         }
     
-        table.table tr th
+        table[border="1"] tr th
         {
             background-color: #F0F0F0;
             border: 1px solid #DCDCDC;