From 7ae01d078377e5c5cd0c90bc42490c69ea5a26a5 Mon Sep 17 00:00:00 2001
From: Max Hilbrunner <m.hilbrunner@gmail.com>
Date: Sun, 11 Jul 2021 12:03:41 +0200
Subject: [PATCH] CSS: Remove error highlight

(cherry picked from commit c8d7e0a4ee974814e7ef9b32968ba2451cf602b8)
---
 _static/css/custom.css | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/_static/css/custom.css b/_static/css/custom.css
index 9ddf21e67..7764b8aae 100644
--- a/_static/css/custom.css
+++ b/_static/css/custom.css
@@ -544,6 +544,11 @@ code,
 
 /* Syntax highlighting */
 
+/* Remove default red boxes around Pygments errors */
+.highlight .err {
+    border: none;
+}
+
 .highlight {
     background-color: var(--highlight-background-color);
 }