From 813c2be35a4e35ca6f4fa4a512ffbecbaef6077a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gina=20H=C3=A4u=C3=9Fge?= Date: Thu, 19 Oct 2017 13:37:40 +0200 Subject: [PATCH] docs: Fix line numbered listings Numbers didn't match up with content due to inconsistent line height. --- docs/_static/theme_overrides.css | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/docs/_static/theme_overrides.css b/docs/_static/theme_overrides.css index 864a0276..cce327b2 100644 --- a/docs/_static/theme_overrides.css +++ b/docs/_static/theme_overrides.css @@ -37,6 +37,11 @@ vertical-align: 10%; } +.rst-content .highlight>pre, +.rst-content .linenodiv>pre { + line-height: 1.5; +} + /* make code tags non-red again */ code, .rst-content tt { @@ -52,3 +57,4 @@ a:visited code, .rst-content a:visited tt { color: #9B59B6 !important; } +