From eed2173860fd9420c06da588152f4eb5665293ec Mon Sep 17 00:00:00 2001 From: Fabian Homborg Date: Fri, 28 May 2021 20:08:24 +0200 Subject: [PATCH] docs: Stop including main css in pygments.css This led to pydoctheme.css being included *twice*, which led to everything it included being included twice, which was annoying in firefox when playing with the styles. I don't *think* it had any performance impact? --- doc_src/python_docs_theme/static/pygments.css | 2 -- 1 file changed, 2 deletions(-) diff --git a/doc_src/python_docs_theme/static/pygments.css b/doc_src/python_docs_theme/static/pygments.css index fd5bb9c8b..70f77d64d 100644 --- a/doc_src/python_docs_theme/static/pygments.css +++ b/doc_src/python_docs_theme/static/pygments.css @@ -1,5 +1,3 @@ -@import "pydoctheme.css"; - .highlight .hll { background-color: #ffffcc } .highlight { background: #f8f8f8; } .highlight .c { color: #8f5902; } /* Comment */