From b0c40e98f6e451e732ed78843e49297ad728e8cf Mon Sep 17 00:00:00 2001
From: AllenJB <AllenJB@users.noreply.github.com>
Date: Sun, 19 Oct 2025 13:57:05 +0100
Subject: [PATCH] (Docs) CSS stylesheets: Fix for PHP 8.3+ highlight_string
 changes

---
 styles/theme-base.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/styles/theme-base.css b/styles/theme-base.css
index d6f7263cdf..5d5880107a 100644
--- a/styles/theme-base.css
+++ b/styles/theme-base.css
@@ -948,7 +948,7 @@ div.tip p:first-child {
     overflow-x: auto;
 }
 
-.docs .example-contents > .phpcode > code {
+.docs .example-contents > .phpcode > code, .docs .example-contents > .phpcode > pre {
     padding: .75rem;
 }