From 5aed0bbf88a32d5fb3e5f0d97142ff82d94a497c Mon Sep 17 00:00:00 2001 From: Fabian Homborg Date: Tue, 9 Apr 2019 13:57:36 +0200 Subject: [PATCH] docs: Remove underline for whitespace This made it look like code was `echo_Hello_World` instead of `echo Hello World`. See #5696. [ci skip] --- sphinx_doc_src/_static/pygments.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sphinx_doc_src/_static/pygments.css b/sphinx_doc_src/_static/pygments.css index 37985d1e0..c23283024 100644 --- a/sphinx_doc_src/_static/pygments.css +++ b/sphinx_doc_src/_static/pygments.css @@ -51,7 +51,7 @@ .highlight .nt { color: #204a87; font-weight: bold } /* Name.Tag */ .highlight .nv { color: #000000 } /* Name.Variable */ .highlight .ow { color: #204a87; font-weight: bold } /* Operator.Word */ -.highlight .w { color: #f8f8f8; text-decoration: underline } /* Text.Whitespace */ +.highlight .w { color: #f8f8f8; } /* Text.Whitespace */ .highlight .mb { color: #0000cf; font-weight: bold } /* Literal.Number.Bin */ .highlight .mf { color: #0000cf; font-weight: bold } /* Literal.Number.Float */ .highlight .mh { color: #0000cf; font-weight: bold } /* Literal.Number.Hex */