From 46c865f295d9bbb1230e763ad5ed69777a477b43 Mon Sep 17 00:00:00 2001
From: Ondrej Grover <ondrej.grover@gmail.com>
Date: Mon, 28 Apr 2014 21:39:20 +0200
Subject: [PATCH] Really fix #1311 by declaring CSS overrides as !important

this is needed because on RTD the common hosted theme stylesheets get added
after the overrides.
---
 docs/_static/theme_overrides.css | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/docs/_static/theme_overrides.css b/docs/_static/theme_overrides.css
index d4b31645..83afc78e 100644
--- a/docs/_static/theme_overrides.css
+++ b/docs/_static/theme_overrides.css
@@ -1,12 +1,12 @@
 
 /* override table width restrictions */
 .wy-table-responsive table td, .wy-table-responsive table th {
-    white-space: normal;
+    /* !important prevents the common CSS stylesheets from
+       overriding this as on RTD they are loaded after this stylesheet */
+    white-space: normal !important;
 }
 
 .wy-table-responsive {
-    margin-bottom: 24px;
-    max-width: 100%;
-    overflow: visible;
+    overflow: visible !important;
 }