From 2f71e8edd62d2f727b91f667c6016575b1889056 Mon Sep 17 00:00:00 2001 From: haszi Date: Tue, 13 Feb 2024 18:27:30 +0100 Subject: [PATCH] Override stylesheets in PHP XHTML formats (#97) Let the --css option override the default stylesheets for all PHP XHTML-based formats. Co-authored-by: haszi --- phpdotnet/phd/Package/PHP/ChunkedXHTML.php | 5 ----- phpdotnet/phd/Package/PHP/XHTML.php | 7 +++++++ 2 files changed, 7 insertions(+), 5 deletions(-) diff --git a/phpdotnet/phd/Package/PHP/ChunkedXHTML.php b/phpdotnet/phd/Package/PHP/ChunkedXHTML.php index 1dc7bd7a..fad29242 100644 --- a/phpdotnet/phd/Package/PHP/ChunkedXHTML.php +++ b/phpdotnet/phd/Package/PHP/ChunkedXHTML.php @@ -8,11 +8,6 @@ public function __construct() { parent::__construct(); $this->registerFormatName("PHP-Chunked-XHTML"); $this->setExt(Config::ext() === null ? ".html" : Config::ext()); - - Config::setCss(array( - 'http://www.php.net/styles/theme-base.css', - 'http://www.php.net/styles/theme-medium.css', - )); } public function __destruct() { diff --git a/phpdotnet/phd/Package/PHP/XHTML.php b/phpdotnet/phd/Package/PHP/XHTML.php index 7c59b05b..384d4be3 100644 --- a/phpdotnet/phd/Package/PHP/XHTML.php +++ b/phpdotnet/phd/Package/PHP/XHTML.php @@ -190,6 +190,13 @@ public function __construct() { $this->mytextmap = array_merge(parent::getDefaultTextMap(), static::getDefaultTextMap()); $this->dchunk = array_merge(parent::getDefaultChunkInfo(), static::getDefaultChunkInfo()); $this->registerPIHandlers($this->pihandlers); + + if (Config::css() === []) { + Config::setCss(array( + "http://www.php.net/styles/theme-base.css", + "http://www.php.net/styles/theme-medium.css", + )); + } } public function getDefaultElementMap() {