From bec1e8b414373d0671ce140bd9c95036d35a2533 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tim=20D=C3=BCsterhus?= <tim@bastelstu.be>
Date: Wed, 16 Aug 2023 13:48:36 +0200
Subject: [PATCH] Apply `white-space: pre` onto the entire code snippet
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

This is needed to correctly handle whitespace outside of a `<?php … ?>` portion.

see php/web-php@b7bccc4049ef4b70810fa159796133019674bdf8
see php/phd@01d6beb366bfb5e5b99bfdcc44393d8d1ee2d433
see php/doc-en#2648
---
 styles/theme-base.css | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/styles/theme-base.css b/styles/theme-base.css
index 756f4fbd3b..ffe68c6931 100644
--- a/styles/theme-base.css
+++ b/styles/theme-base.css
@@ -1328,16 +1328,13 @@ div.tip p:first-child {
 .docs .phpcode code {
     display: block;
     overflow-x: auto;
+    white-space: pre;
 }
 
 .docs .qandaentry dt .phpcode * {
     font-weight: normal;
 }
 
-.phpcode code span span {
-    white-space: pre;
-}
-
 /* }}} */