CSS theme: fixed a line-height missmatch in RTD theme.

ref: readthedocs/sphinx_rtd_theme#419 Signed-off-by: Markus Heiser <markus.heiser@darmarit.de>
return42 · Jun 15, 2017 · 26af4d2 · 26af4d2
1 parent df21cab
commit 26af4d2
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/sphinx-static/theme_overrides.css b/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