From 34113f6cc5b91bdeca77187e07b010f555d234d6 Mon Sep 17 00:00:00 2001 From: Dag Wieers Date: Fri, 11 Jan 2019 09:13:08 +0100 Subject: [PATCH] Docs: Fix highlight line (#50756) (cherry picked from commit 646c34dcded4dd856abaa53ab5f057612bb7878e) --- docs/docsite/_static/pygments.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/docsite/_static/pygments.css b/docs/docsite/_static/pygments.css index c75c27b81b9..8774dd3b232 100644 --- a/docs/docsite/_static/pygments.css +++ b/docs/docsite/_static/pygments.css @@ -1,5 +1,5 @@ .highlight { background: #f8f8f8 } -.highlight .hll { background-color: #ffffcc; border: 1px solid #ccc; padding: 6px 10px; border-radius: 3px } +.highlight .hll { background-color: #ffffcc; border: 1px solid #edff00; padding-top: 2px; border-radius: 3px; display: block } .highlight .c { color: #6a737d; font-style: italic } /* Comment */ .highlight .err { color: #a61717; background-color: #e3d2d2; color: #a61717; border: 1px solid #FF0000 } /* Error */ .highlight .k { color: #007020; font-weight: bold } /* Keyword */