From 13133f66bee8b4a9c2da39906470770c75f4f197 Mon Sep 17 00:00:00 2001 From: ridiculousfish Date: Sat, 6 Nov 2021 12:30:51 -0700 Subject: [PATCH] docs: remove an errant } from the css file This was causing strange spacing in the language docs. --- doc_src/python_docs_theme/static/pydoctheme.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc_src/python_docs_theme/static/pydoctheme.css b/doc_src/python_docs_theme/static/pydoctheme.css index 451096c05..61526b590 100644 --- a/doc_src/python_docs_theme/static/pydoctheme.css +++ b/doc_src/python_docs_theme/static/pydoctheme.css @@ -214,7 +214,7 @@ tr, code, pre { tt, code, pre, dl > dt span ~ em, #synopsis p, dl.envvar .pre, dl.describe .pre { font-family: "Source Code Pro", "DejaVu Sans Mono", Menlo, "Ubuntu Mono", Consolas, Monaco, "Lucida Console", monospace, fixed; -}} +} pre, div[class*="highlight-"] { /* For some reason sphinx since 3.1.2 sets "clear: both" here, which breaks in interesting ways */