RTD theme: readthedocs/sphinx_rtd_theme#419

Signed-off-by: Markus Heiser <markus.heiser@darmarIT.de>
return42 · Jun 15, 2017 · 47d16d9 · 47d16d9
1 parent 5e4b9fa
commit 47d16d9
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/utils/sphinx-static/theme_overrides.css b/utils/sphinx-static/theme_overrides.css
@@ -4,6 +4,16 @@
  *
  */
 
+/* FIXME: 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