From 746da79b1fbe27c38641cd7010711370ada4cdc6 Mon Sep 17 00:00:00 2001
From: Michael Schmidt <mitchi5000.ms@googlemail.com>
Date: Thu, 4 Nov 2021 20:39:47 +0100
Subject: [PATCH] Website: Fixed red highlighting in Firefox (#3178)

---
 assets/style.css | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/assets/style.css b/assets/style.css
index 77a8dbc402..b6b291fdbb 100644
--- a/assets/style.css
+++ b/assets/style.css
@@ -115,7 +115,9 @@ pre {
 mark {
 	outline: .4em solid red;
 	outline-offset: .4em;
+	margin: .4em 0;
 	background-color: transparent;
+	display: inline-block;
 }
 
 header,