1 files changed, 0 insertions, 89 deletions
diff --git a/Documentation/sphinx-static/theme_overrides.css b/Documentation/sphinx-static/theme_overrides.css
deleted file mode 100644
index 522b6d4c49..0000000000
--- a/Documentation/sphinx-static/theme_overrides.css
+++ /dev/null
@@ -1,89 +0,0 @@
-/* -*- coding: utf-8; mode: css -*-
- *
- * Sphinx HTML theme customization: read the doc
- *
- */
-
-/* Interim: Code-blocks with line nos - lines and line numbers don't line up.
- * see: https://github.com/rtfd/sphinx_rtd_theme/issues/419
- */
-
-div[class^="highlight"] pre {
-    line-height: normal;
-}
-.rst-content .highlight > pre {
-    line-height: normal;
-}
-
-@media screen {
-
-    /* content column
-     *
-     * RTD theme's default is 800px as max width for the content, but we have
-     * tables with tons of columns, which need the full width of the view-port.
-     */
-
-    .wy-nav-content{max-width: none; }
-
-    /* table:
-     *
-     *   - Sequences of whitespace should collapse into a single whitespace.
-     *   - make the overflow auto (scrollbar if needed)
-     *   - align caption "left" ("center" is unsuitable on vast tables)
-     */
-
-    .wy-table-responsive table td { white-space: normal; }
-    .wy-table-responsive { overflow: auto; }
-    .rst-content table.docutils caption { text-align: left; font-size: 100%; }
-
-    /* captions:
-     *
-     *   - captions should have 100% (not 85%) font size
-     *   - hide the permalink symbol as long as link is not hovered
-     */
-
-    .toc-title {
-        font-size: 150%;
-	font-weight: bold;
-    }
-
-    caption, .wy-table caption, .rst-content table.field-list caption {
-        font-size: 100%;
-    }
-    caption a.headerlink { opacity: 0; }
-    caption a.headerlink:hover { opacity: 1; }
-
-    /* Menu selection and keystrokes */
-
-    span.menuselection {
-	color: blue;
-	font-family: "Courier New", Courier, monospace
-    }
-
-    code.kbd, code.kbd span {
-	color: white;
-	background-color: darkblue;
-	font-weight: bold;
-	font-family: "Courier New", Courier, monospace
-    }
-
-    /* fix bottom margin of lists items */
-
-    .rst-content .section ul li:last-child, .rst-content .section ul li p:last-child {
-          margin-bottom: 12px;
-    }
-
-    /* inline literal: drop the borderbox, padding and red color */
-
-    code, .rst-content tt, .rst-content code {
-        color: inherit;
-        border: none;
-        padding: unset;
-        background: inherit;
-        font-size: 85%;
-    }
-
-    .rst-content tt.literal,.rst-content tt.literal,.rst-content code.literal {
-        color: inherit;
-    }
-}